そのエクセルファイルは其れっぽいしかつ疲労し易い
fact1: もし仮になんらかの物が繰り下げるならそのエクセルファイルは聞き取り易くない fact2: 「そのエクセルファイルは疲労し易い」ということは成り立つ fact3: 「疲労し易い」ものはある fact4: もしこの植物系はマイナス極でないならば「この中等度確率はマイナス極だ」ということは誤りであるということはない fact5: もし仮に「聞き取り易い」ものはあるとしたら「そのエクセルファイルは疲労し易くないがしかし凍る」ということは成り立つ fact6: もし仮になんらかの物が繰り下げるとすればそのエクセルファイルは聞き取り易くない一方で凍る fact7: このＴＡＲゲットは凍る fact8: とある物は繰り下げる fact9: 「あのレバーは覚え易いということはないけどマイナス極だ」ということは偽である fact10: そのエクセルファイルは古めかしいということはない一方で働きである fact11: もし仮に「あのレバーは覚え易くないけれどマイナス極だ」ということは間違いであるとすればあの植物系はマイナス極でない fact12: もしそのエクセルファイルが聞き取り易いしさらにそれが凍るとすればそれは其れっぽい fact13: もし仮にそのエクセルファイルが繰り下げないがしかし聞き取り易いならばあの芋は繰り下げない fact14: 仮にそのエクセルファイルは聞き取り易くないけど凍るとすると「其れっぽい」ということは成り立つ fact15: 「「凍る」ということは成り立つ」物はある fact16: そのエクセルファイルは聞き取り易くない fact17: もし仮にこの中等度確率はマイナス極であるとすると「あの零Ｓは其れっぽい」ということは確かだ fact18: 仮にそのエクセルファイルが程良くないけどそれが受け入れ難いとしたらそれは其れっぽい
fact8 & fact6 -> int1: そのエクセルファイルは聞き取り易くないがそれは凍る; int1 & fact14 -> int2: そのエクセルファイルは其れっぽい; int2 & fact2 -> hypothesis;
この芋は疲労し易くないがしかしデータ操作だ
fact23 & fact19 -> int3: この植物系はマイナス極でない; fact20 & int3 -> int4: この中等度確率はマイナス極である; fact21 & int4 -> int5: 「あの零Ｓは其れっぽい」ということは事実だ;
$facts$ = fact1: もし仮になんらかの物が繰り下げるならそのエクセルファイルは聞き取り易くない fact2: 「そのエクセルファイルは疲労し易い」ということは成り立つ fact3: 「疲労し易い」ものはある fact4: もしこの植物系はマイナス極でないならば「この中等度確率はマイナス極だ」ということは誤りであるということはない fact5: もし仮に「聞き取り易い」ものはあるとしたら「そのエクセルファイルは疲労し易くないがしかし凍る」ということは成り立つ fact6: もし仮になんらかの物が繰り下げるとすればそのエクセルファイルは聞き取り易くない一方で凍る fact7: このＴＡＲゲットは凍る fact8: とある物は繰り下げる fact9: 「あのレバーは覚え易いということはないけどマイナス極だ」ということは偽である fact10: そのエクセルファイルは古めかしいということはない一方で働きである fact11: もし仮に「あのレバーは覚え易くないけれどマイナス極だ」ということは間違いであるとすればあの植物系はマイナス極でない fact12: もしそのエクセルファイルが聞き取り易いしさらにそれが凍るとすればそれは其れっぽい fact13: もし仮にそのエクセルファイルが繰り下げないがしかし聞き取り易いならばあの芋は繰り下げない fact14: 仮にそのエクセルファイルは聞き取り易くないけど凍るとすると「其れっぽい」ということは成り立つ fact15: 「「凍る」ということは成り立つ」物はある fact16: そのエクセルファイルは聞き取り易くない fact17: もし仮にこの中等度確率はマイナス極であるとすると「あの零Ｓは其れっぽい」ということは確かだ fact18: 仮にそのエクセルファイルが程良くないけどそれが受け入れ難いとしたらそれは其れっぽい ; $hypothesis$ = そのエクセルファイルは其れっぽいしかつ疲労し易い ; $proof$ = 
fact8 & fact6 -> int1: そのエクセルファイルは聞き取り易くないがそれは凍る; int1 & fact14 -> int2: そのエクセルファイルは其れっぽい; int2 & fact2 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が繰り下げるならそのエクセルファイルは聞き取り易くない
事実2: 「そのエクセルファイルは疲労し易い」ということは成り立つ
事実3: 「疲労し易い」ものはある
事実4: もしこの植物系はマイナス極でないならば「この中等度確率はマイナス極だ」ということは誤りであるということはない
事実5: もし仮に「聞き取り易い」ものはあるとしたら「そのエクセルファイルは疲労し易くないがしかし凍る」ということは成り立つ
事実6: もし仮になんらかの物が繰り下げるとすればそのエクセルファイルは聞き取り易くない一方で凍る
事実7: このＴＡＲゲットは凍る
事実8: とある物は繰り下げる
事実9: 「あのレバーは覚え易いということはないけどマイナス極だ」ということは偽である
事実10: そのエクセルファイルは古めかしいということはない一方で働きである
事実11: もし仮に「あのレバーは覚え易くないけれどマイナス極だ」ということは間違いであるとすればあの植物系はマイナス極でない
事実12: もしそのエクセルファイルが聞き取り易いしさらにそれが凍るとすればそれは其れっぽい
事実13: もし仮にそのエクセルファイルが繰り下げないがしかし聞き取り易いならばあの芋は繰り下げない
事実14: 仮にそのエクセルファイルは聞き取り易くないけど凍るとすると「其れっぽい」ということは成り立つ
事実15: 「「凍る」ということは成り立つ」物はある
事実16: そのエクセルファイルは聞き取り易くない
事実17: もし仮にこの中等度確率はマイナス極であるとすると「あの零Ｓは其れっぽい」ということは確かだ
事実18: 仮にそのエクセルファイルが程良くないけどそれが受け入れ難いとしたらそれは其れっぽい

仮説: そのエクセルファイルは其れっぽいしかつ疲労し易い
1. 事実8と事実6から、推論1: "そのエクセルファイルは聞き取り易くないがそれは凍る"が導かれる
2. 推論1と事実14から、推論2: "そのエクセルファイルは其れっぽい"が導かれる
3. 推論2と事実2から、仮説が導かれる

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