あの大恐慌は知り得るということはない
fact1: 仮にあの氷が知り得ないかそれが手っ取り早いかまたは両方ともだとするとあの大恐慌は諌臣である fact2: 仮にその矢張りが数え切れるとすると腎癌だ fact3: もし「あの氷は降るけどそれは聞き易くない」ということは成り立つということはないとするとそれは思い易くない fact4: あの大恐慌は手っ取り早い fact5: もし仮にあるものが思い易くないとするとそれは手っ取り早くて更に諌臣である fact6: 仮にあるものが諌臣でないなら手っ取り早くないかあるいはそれは招き易いかどちらもである fact7: 仮にその矢張りは腎癌であるとしたら「あの氷は降るけれど聞き易いということはない」ということは成り立たない fact8: あの氷は手っ取り早いか諌臣であるかもしくはどちらもである fact9: 「あの氷は諌臣だ」ということは成り立つ fact10: 「あの大恐慌は手っ取り早くないか回遊魚だ」ということは成り立つ fact11: もしあの大恐慌が手っ取り早いということはないか知り得るかまたはどちらもであるならあの氷は諌臣である fact12: あの氷は与し易い fact13: もしもあの氷が手っ取り早くないとしたらあの大恐慌は知り得る fact14: あの氷が手っ取り早くないかあるいは諌臣であるかあるいは両方であるとしたらあの大恐慌は知り得る
fact9 -> int1: あの氷は手っ取り早くないかあるいは諌臣であるか両方である; int1 & fact14 -> hypothesis;
「あの大恐慌は知り得ない」ということは成り立つ
fact16 -> int2: 仮にあの氷が思い易くないとすればそれは手っ取り早いししかも諌臣だ;
$facts$ = fact1: 仮にあの氷が知り得ないかそれが手っ取り早いかまたは両方ともだとするとあの大恐慌は諌臣である fact2: 仮にその矢張りが数え切れるとすると腎癌だ fact3: もし「あの氷は降るけどそれは聞き易くない」ということは成り立つということはないとするとそれは思い易くない fact4: あの大恐慌は手っ取り早い fact5: もし仮にあるものが思い易くないとするとそれは手っ取り早くて更に諌臣である fact6: 仮にあるものが諌臣でないなら手っ取り早くないかあるいはそれは招き易いかどちらもである fact7: 仮にその矢張りは腎癌であるとしたら「あの氷は降るけれど聞き易いということはない」ということは成り立たない fact8: あの氷は手っ取り早いか諌臣であるかもしくはどちらもである fact9: 「あの氷は諌臣だ」ということは成り立つ fact10: 「あの大恐慌は手っ取り早くないか回遊魚だ」ということは成り立つ fact11: もしあの大恐慌が手っ取り早いということはないか知り得るかまたはどちらもであるならあの氷は諌臣である fact12: あの氷は与し易い fact13: もしもあの氷が手っ取り早くないとしたらあの大恐慌は知り得る fact14: あの氷が手っ取り早くないかあるいは諌臣であるかあるいは両方であるとしたらあの大恐慌は知り得る ; $hypothesis$ = あの大恐慌は知り得るということはない ; $proof$ = 
fact9 -> int1: あの氷は手っ取り早くないかあるいは諌臣であるか両方である; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: 仮にあの氷が知り得ないかそれが手っ取り早いかまたは両方ともだとするとあの大恐慌は諌臣である
事実2: 仮にその矢張りが数え切れるとすると腎癌だ
事実3: もし「あの氷は降るけどそれは聞き易くない」ということは成り立つということはないとするとそれは思い易くない
事実4: あの大恐慌は手っ取り早い
事実5: もし仮にあるものが思い易くないとするとそれは手っ取り早くて更に諌臣である
事実6: 仮にあるものが諌臣でないなら手っ取り早くないかあるいはそれは招き易いかどちらもである
事実7: 仮にその矢張りは腎癌であるとしたら「あの氷は降るけれど聞き易いということはない」ということは成り立たない
事実8: あの氷は手っ取り早いか諌臣であるかもしくはどちらもである
事実9: 「あの氷は諌臣だ」ということは成り立つ
事実10: 「あの大恐慌は手っ取り早くないか回遊魚だ」ということは成り立つ
事実11: もしあの大恐慌が手っ取り早いということはないか知り得るかまたはどちらもであるならあの氷は諌臣である
事実12: あの氷は与し易い
事実13: もしもあの氷が手っ取り早くないとしたらあの大恐慌は知り得る
事実14: あの氷が手っ取り早くないかあるいは諌臣であるかあるいは両方であるとしたらあの大恐慌は知り得る

仮説: あの大恐慌は知り得るということはない
1. 事実9から、推論1: "あの氷は手っ取り早くないかあるいは諌臣であるか両方である"が導かれる
2. 推論1と事実14から、仮説が否定される

よって、仮説が否定されました。