「仮に「考え抜くかもしくは呪具でないかあるいは両方である」ということは偽であるとすれば持ち株会社化しない」ものはある
fact1: 仮に「「何らかの物はフィレットするかまたは証言しない」ということは真実だ」ということは誤りであるならば再演しない fact2: もし「その花見は考え抜くかもしくはそれは呪具でないかもしくは両方である」ということは事実でないならそれは持ち株会社化する fact3: もし仮に「その花見は考え抜くか呪具でないかまたは両方である」ということは確かだとすると「それは持ち株会社化しない」ということは事実だ fact4: もし「その花見は全方位であるかまたは益無しないかまたは両方ともだ」ということは誤っているとすればそれは規定し得ない fact5: 「「「考え抜くかもしくは呪具であるか両方ともだ」ということは間違いだとすると持ち株会社化しない」物はある」ということは成り立つ fact6: 「「考え抜くかまたは呪具でない」ということは間違いであるなら持ち株会社化する」物はある fact7: もし仮に「その花見は考え抜くかあるいは呪具であるかまたは両方ともだ」ということは誤りであるとすれば持ち株会社化しない fact8: 「もし「民法上であるかまたは実施すらないか両方である」ということは成り立つということはないとしたら「チャハル・バーグ大通りでない」ということは成り立つ」ものはある fact9: もしも「その花見は考え抜くかあるいは呪具だということはないかまたは両方ともだ」ということは成り立たないとすれば持ち株会社化しない fact10: 「仮に考え抜くか呪具であるということはないかまたは両方ともであるとすると持ち株会社化するということはない」物はある
fact9 -> hypothesis;
もし「あの製造費はフィレットするかあるいはそれは証言しないかあるいは両方である」ということは事実と異なればそれは再演しない
fact11 -> hypothesis;
$facts$ = fact1: 仮に「「何らかの物はフィレットするかまたは証言しない」ということは真実だ」ということは誤りであるならば再演しない fact2: もし「その花見は考え抜くかもしくはそれは呪具でないかもしくは両方である」ということは事実でないならそれは持ち株会社化する fact3: もし仮に「その花見は考え抜くか呪具でないかまたは両方である」ということは確かだとすると「それは持ち株会社化しない」ということは事実だ fact4: もし「その花見は全方位であるかまたは益無しないかまたは両方ともだ」ということは誤っているとすればそれは規定し得ない fact5: 「「「考え抜くかもしくは呪具であるか両方ともだ」ということは間違いだとすると持ち株会社化しない」物はある」ということは成り立つ fact6: 「「考え抜くかまたは呪具でない」ということは間違いであるなら持ち株会社化する」物はある fact7: もし仮に「その花見は考え抜くかあるいは呪具であるかまたは両方ともだ」ということは誤りであるとすれば持ち株会社化しない fact8: 「もし「民法上であるかまたは実施すらないか両方である」ということは成り立つということはないとしたら「チャハル・バーグ大通りでない」ということは成り立つ」ものはある fact9: もしも「その花見は考え抜くかあるいは呪具だということはないかまたは両方ともだ」ということは成り立たないとすれば持ち株会社化しない fact10: 「仮に考え抜くか呪具であるということはないかまたは両方ともであるとすると持ち株会社化するということはない」物はある ; $hypothesis$ = 「仮に「考え抜くかもしくは呪具でないかあるいは両方である」ということは偽であるとすれば持ち株会社化しない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮に「「何らかの物はフィレットするかまたは証言しない」ということは真実だ」ということは誤りであるならば再演しない
事実2: もし「その花見は考え抜くかもしくはそれは呪具でないかもしくは両方である」ということは事実でないならそれは持ち株会社化する
事実3: もし仮に「その花見は考え抜くか呪具でないかまたは両方である」ということは確かだとすると「それは持ち株会社化しない」ということは事実だ
事実4: もし「その花見は全方位であるかまたは益無しないかまたは両方ともだ」ということは誤っているとすればそれは規定し得ない
事実5: 「「「考え抜くかもしくは呪具であるか両方ともだ」ということは間違いだとすると持ち株会社化しない」物はある」ということは成り立つ
事実6: 「「考え抜くかまたは呪具でない」ということは間違いであるなら持ち株会社化する」物はある
事実7: もし仮に「その花見は考え抜くかあるいは呪具であるかまたは両方ともだ」ということは誤りであるとすれば持ち株会社化しない
事実8: 「もし「民法上であるかまたは実施すらないか両方である」ということは成り立つということはないとしたら「チャハル・バーグ大通りでない」ということは成り立つ」ものはある
事実9: もしも「その花見は考え抜くかあるいは呪具だということはないかまたは両方ともだ」ということは成り立たないとすれば持ち株会社化しない
事実10: 「仮に考え抜くか呪具であるということはないかまたは両方ともであるとすると持ち株会社化するということはない」物はある

仮説: 「仮に「考え抜くかもしくは呪具でないかあるいは両方である」ということは偽であるとすれば持ち株会社化しない」ものはある
1. 事実9から、仮説が導かれる

よって、仮説が証明されました。