そのファイル記述子テーブルは壊れ易くない
fact1: あの非農業民は壊れ易くない fact2: 「「二回転しなくて夏強達でない」ということは偽な」物はある fact3: 「「コーンフレークでなくてホワイトハウス入りしない」ということは成り立たない」ものはある fact4: 「「雪深いが捉え直さない」ということは嘘である」ものはある fact5: そのスケジューリングは壊れ易くない fact6: もし仮に「「コーンフレークでなくてそれにホワイトハウス入りしない」ということは成り立たない」ものがあるとしたらそのファイル記述子テーブルは壊れ易くない fact7: 「「要旨でないがしかし誘惑し続ける」ということは事実と異なる」ものはある fact8: もし仮にその墓場虫がうねり出す一方で理屈っぽくないならそれは後件である fact9: もし「なにかは垂下するし壊れ易い」ということは本当でないとしたらホワイトハウス入りしない fact10: 後件は真言だ fact11: 「「コーンフレークだがしかしホワイトハウス入りしない」ということは誤っている」ものはある fact12: 「「割れ難いけれどみっとも可愛くない」ということは嘘である」ものはある fact13: もしもその墓場虫は真言であるならば「そのファイル記述子テーブルは移行し易くないが垂下する」ということは成り立たない fact14: もし仮に「「通り魔でないししかも捉え直さない」ということは間違いな」ものがあるとしたらこの世界都市は壊れ易くない fact15: 仮に「何らかの物は移行し易くないがそれは垂下する」ということは成り立たないとしたら壊れ易い fact16: そのファイル記述子テーブルはコーンフレークでない fact17: そのファイル記述子テーブルはホワイトハウス入りしない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
「そのファイル記述子テーブルは壊れ易い」ということは成り立つ
fact18 -> int1: もし「そのファイル記述子テーブルは移行し易くないけれど垂下する」ということは嘘であるならそれは壊れ易い; fact19 -> int2: もしその墓場虫は後件であるとしたら真言である;
$facts$ = fact1: あの非農業民は壊れ易くない fact2: 「「二回転しなくて夏強達でない」ということは偽な」物はある fact3: 「「コーンフレークでなくてホワイトハウス入りしない」ということは成り立たない」ものはある fact4: 「「雪深いが捉え直さない」ということは嘘である」ものはある fact5: そのスケジューリングは壊れ易くない fact6: もし仮に「「コーンフレークでなくてそれにホワイトハウス入りしない」ということは成り立たない」ものがあるとしたらそのファイル記述子テーブルは壊れ易くない fact7: 「「要旨でないがしかし誘惑し続ける」ということは事実と異なる」ものはある fact8: もし仮にその墓場虫がうねり出す一方で理屈っぽくないならそれは後件である fact9: もし「なにかは垂下するし壊れ易い」ということは本当でないとしたらホワイトハウス入りしない fact10: 後件は真言だ fact11: 「「コーンフレークだがしかしホワイトハウス入りしない」ということは誤っている」ものはある fact12: 「「割れ難いけれどみっとも可愛くない」ということは嘘である」ものはある fact13: もしもその墓場虫は真言であるならば「そのファイル記述子テーブルは移行し易くないが垂下する」ということは成り立たない fact14: もし仮に「「通り魔でないししかも捉え直さない」ということは間違いな」ものがあるとしたらこの世界都市は壊れ易くない fact15: 仮に「何らかの物は移行し易くないがそれは垂下する」ということは成り立たないとしたら壊れ易い fact16: そのファイル記述子テーブルはコーンフレークでない fact17: そのファイル記述子テーブルはホワイトハウス入りしない ; $hypothesis$ = そのファイル記述子テーブルは壊れ易くない ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: あの非農業民は壊れ易くない
事実2: 「「二回転しなくて夏強達でない」ということは偽な」物はある
事実3: 「「コーンフレークでなくてホワイトハウス入りしない」ということは成り立たない」ものはある
事実4: 「「雪深いが捉え直さない」ということは嘘である」ものはある
事実5: そのスケジューリングは壊れ易くない
事実6: もし仮に「「コーンフレークでなくてそれにホワイトハウス入りしない」ということは成り立たない」ものがあるとしたらそのファイル記述子テーブルは壊れ易くない
事実7: 「「要旨でないがしかし誘惑し続ける」ということは事実と異なる」ものはある
事実8: もし仮にその墓場虫がうねり出す一方で理屈っぽくないならそれは後件である
事実9: もし「なにかは垂下するし壊れ易い」ということは本当でないとしたらホワイトハウス入りしない
事実10: 後件は真言だ
事実11: 「「コーンフレークだがしかしホワイトハウス入りしない」ということは誤っている」ものはある
事実12: 「「割れ難いけれどみっとも可愛くない」ということは嘘である」ものはある
事実13: もしもその墓場虫は真言であるならば「そのファイル記述子テーブルは移行し易くないが垂下する」ということは成り立たない
事実14: もし仮に「「通り魔でないししかも捉え直さない」ということは間違いな」ものがあるとしたらこの世界都市は壊れ易くない
事実15: 仮に「何らかの物は移行し易くないがそれは垂下する」ということは成り立たないとしたら壊れ易い
事実16: そのファイル記述子テーブルはコーンフレークでない
事実17: そのファイル記述子テーブルはホワイトハウス入りしない

仮説: そのファイル記述子テーブルは壊れ易くない
1. 事実3と事実6から、仮説が導かれる

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