「その映像は味わい得るけど映画史でない」ということは成り立つということはない
fact1: もし仮にあの利益計画は草薙でないならば「このピラミッド型は注意深いかまたはグルーブルである」ということは間違いでない fact2: もし「あの利益計画は注意深い」ということは成り立てばそれは草薙でないか食い合うかもしくは両方ともだ fact3: あの利益計画は注意深い fact4: 「このピラミッド型は食い合うけど映画史であるということはない」ということは偽である fact5: その映像は映画史だとすれば「このピラミッド型は食い合う一方で味わい得ない」ということは成り立たない fact6: 「その映像は食い合う一方で味わい得ない」ということは成り立たない fact7: 「草薙でないかもしくは食い合う」ものがあるならばあの映像は食い合う fact8: もしとあるものが食い合うとしたら味わい得る fact9: 「その映像は映画史であるけれど食い合わない」ということは成り立たない fact10: もしも「このピラミッド型は食い合う」ということは成り立つなら「その映像は味わい得るがしかし映画史でない」ということは成り立たない fact11: その砂糖黍畑は食い合う fact12: もしその映像は味わい得るとすると「このピラミッド型は食い合うがしかし映画史だということはない」ということは誤っている fact13: このピラミッド型は食い合う fact14: 「このピラミッド型は映画史であるがしかしそれは食い合わない」ということは成り立たない
fact10 & fact13 -> hypothesis;
fact10 & fact13 -> hypothesis;
その映像は味わい得るが映画史であるということはない
fact18 -> int1: もしもその映像が食い合うとすると味わい得る; fact15 & fact17 -> int2: あの利益計画は草薙でないかまたはそれは食い合うかもしくは両方だ; int2 -> int3: 「「草薙でないかもしくは食い合うか両方である」ということは成り立つ」ものはある; int3 & fact16 -> int4: その映像は食い合う; int1 & int4 -> int5: その映像は味わい得る;
$facts$ = fact1: もし仮にあの利益計画は草薙でないならば「このピラミッド型は注意深いかまたはグルーブルである」ということは間違いでない fact2: もし「あの利益計画は注意深い」ということは成り立てばそれは草薙でないか食い合うかもしくは両方ともだ fact3: あの利益計画は注意深い fact4: 「このピラミッド型は食い合うけど映画史であるということはない」ということは偽である fact5: その映像は映画史だとすれば「このピラミッド型は食い合う一方で味わい得ない」ということは成り立たない fact6: 「その映像は食い合う一方で味わい得ない」ということは成り立たない fact7: 「草薙でないかもしくは食い合う」ものがあるならばあの映像は食い合う fact8: もしとあるものが食い合うとしたら味わい得る fact9: 「その映像は映画史であるけれど食い合わない」ということは成り立たない fact10: もしも「このピラミッド型は食い合う」ということは成り立つなら「その映像は味わい得るがしかし映画史でない」ということは成り立たない fact11: その砂糖黍畑は食い合う fact12: もしその映像は味わい得るとすると「このピラミッド型は食い合うがしかし映画史だということはない」ということは誤っている fact13: このピラミッド型は食い合う fact14: 「このピラミッド型は映画史であるがしかしそれは食い合わない」ということは成り立たない ; $hypothesis$ = 「その映像は味わい得るけど映画史でない」ということは成り立つということはない ; $proof$ = 
fact10 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にあの利益計画は草薙でないならば「このピラミッド型は注意深いかまたはグルーブルである」ということは間違いでない
事実2: もし「あの利益計画は注意深い」ということは成り立てばそれは草薙でないか食い合うかもしくは両方ともだ
事実3: あの利益計画は注意深い
事実4: 「このピラミッド型は食い合うけど映画史であるということはない」ということは偽である
事実5: その映像は映画史だとすれば「このピラミッド型は食い合う一方で味わい得ない」ということは成り立たない
事実6: 「その映像は食い合う一方で味わい得ない」ということは成り立たない
事実7: 「草薙でないかもしくは食い合う」ものがあるならばあの映像は食い合う
事実8: もしとあるものが食い合うとしたら味わい得る
事実9: 「その映像は映画史であるけれど食い合わない」ということは成り立たない
事実10: もしも「このピラミッド型は食い合う」ということは成り立つなら「その映像は味わい得るがしかし映画史でない」ということは成り立たない
事実11: その砂糖黍畑は食い合う
事実12: もしその映像は味わい得るとすると「このピラミッド型は食い合うがしかし映画史だということはない」ということは誤っている
事実13: このピラミッド型は食い合う
事実14: 「このピラミッド型は映画史であるがしかしそれは食い合わない」ということは成り立たない

仮説: 「その映像は味わい得るけど映画史でない」ということは成り立つということはない
1. 事実10と事実13から、仮説が導かれる

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