あの演題は赤し
fact1: その尺鮎は提出しない fact2: もしもあの初代大統領は探訪しないとすると「提出しないしその上それは科す」ということは間違っている fact3: もし「あの初代大統領は探訪するかもしくはそれは提出する」ということは成り立たないとするとあの演題は掛かり易いということはない fact4: 仮にあの初代大統領が掛かり易くないならばあの演題は提出しない fact5: あの初代大統領は探訪しない fact6: もしその朽ち木は科さないとしたら「あの初代大統領は探訪するかそれは提出する」ということは成り立たない fact7: もしその朽ち木が科すけど赤しないならばあの演題は赤しない fact8: 「「実験するか通貨スワップ換算元本額であるかまたはどちらもである」ということは誤りである」ものはある fact9: 掛かり易くない物は赤し fact10: 「あの初代大統領は探訪するかあるいはそれは科す」ということは事実と異なる fact11: もしもあの演題が提出しないなら赤し fact12: なにがしかのものは提出するかまたはそれは科す fact13: もしもとあるものは加入電話でないとしたらプロジェクト毎である fact14: もしも「「実験するかまたは通貨スワップ換算元本額だ」ということは誤っている」ものがあるとするとその朽ち木は科さない fact15: 仮にあの初代大統領は赤しということはないとすれば「あの演題は掛かり易いかあるいは提出する」ということは誤りだ fact16: もし何かは科さないなら赤し
fact8 & fact14 -> int1: その朽ち木は科さない; int1 & fact6 -> int2: 「あの初代大統領は探訪するかもしくはそれは提出する」ということは偽だ; int2 & fact3 -> int3: あの演題は掛かり易いということはない; fact9 -> int4: もしあの演題が掛かり易くないとしたら赤し; int3 & int4 -> hypothesis;
「「流れ易いかあるいはリノール酸である」ということは偽な」ものはある
$facts$ = fact1: その尺鮎は提出しない fact2: もしもあの初代大統領は探訪しないとすると「提出しないしその上それは科す」ということは間違っている fact3: もし「あの初代大統領は探訪するかもしくはそれは提出する」ということは成り立たないとするとあの演題は掛かり易いということはない fact4: 仮にあの初代大統領が掛かり易くないならばあの演題は提出しない fact5: あの初代大統領は探訪しない fact6: もしその朽ち木は科さないとしたら「あの初代大統領は探訪するかそれは提出する」ということは成り立たない fact7: もしその朽ち木が科すけど赤しないならばあの演題は赤しない fact8: 「「実験するか通貨スワップ換算元本額であるかまたはどちらもである」ということは誤りである」ものはある fact9: 掛かり易くない物は赤し fact10: 「あの初代大統領は探訪するかあるいはそれは科す」ということは事実と異なる fact11: もしもあの演題が提出しないなら赤し fact12: なにがしかのものは提出するかまたはそれは科す fact13: もしもとあるものは加入電話でないとしたらプロジェクト毎である fact14: もしも「「実験するかまたは通貨スワップ換算元本額だ」ということは誤っている」ものがあるとするとその朽ち木は科さない fact15: 仮にあの初代大統領は赤しということはないとすれば「あの演題は掛かり易いかあるいは提出する」ということは誤りだ fact16: もし何かは科さないなら赤し ; $hypothesis$ = あの演題は赤し ; $proof$ = 
fact8 & fact14 -> int1: その朽ち木は科さない; int1 & fact6 -> int2: 「あの初代大統領は探訪するかもしくはそれは提出する」ということは偽だ; int2 & fact3 -> int3: あの演題は掛かり易いということはない; fact9 -> int4: もしあの演題が掛かり易くないとしたら赤し; int3 & int4 -> hypothesis; __PROVED__
事実1: その尺鮎は提出しない
事実2: もしもあの初代大統領は探訪しないとすると「提出しないしその上それは科す」ということは間違っている
事実3: もし「あの初代大統領は探訪するかもしくはそれは提出する」ということは成り立たないとするとあの演題は掛かり易いということはない
事実4: 仮にあの初代大統領が掛かり易くないならばあの演題は提出しない
事実5: あの初代大統領は探訪しない
事実6: もしその朽ち木は科さないとしたら「あの初代大統領は探訪するかそれは提出する」ということは成り立たない
事実7: もしその朽ち木が科すけど赤しないならばあの演題は赤しない
事実8: 「「実験するか通貨スワップ換算元本額であるかまたはどちらもである」ということは誤りである」ものはある
事実9: 掛かり易くない物は赤し
事実10: 「あの初代大統領は探訪するかあるいはそれは科す」ということは事実と異なる
事実11: もしもあの演題が提出しないなら赤し
事実12: なにがしかのものは提出するかまたはそれは科す
事実13: もしもとあるものは加入電話でないとしたらプロジェクト毎である
事実14: もしも「「実験するかまたは通貨スワップ換算元本額だ」ということは誤っている」ものがあるとするとその朽ち木は科さない
事実15: 仮にあの初代大統領は赤しということはないとすれば「あの演題は掛かり易いかあるいは提出する」ということは誤りだ
事実16: もし何かは科さないなら赤し

仮説: あの演題は赤し
1. 事実8と事実14から、推論1: "その朽ち木は科さない"が導かれる
2. 推論1と事実6から、推論2: "「あの初代大統領は探訪するかもしくはそれは提出する」ということは偽だ"が導かれる
3. 推論2と事実3から、推論3: "あの演題は掛かり易いということはない"が導かれる
4. 事実9から、推論4: "もしあの演題が掛かり易くないとしたら赤し"が導かれる
5. 推論3と推論4から、仮説が導かれる

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