とある物は草履だということはない
fact1: 「参拝前であるかまたは回転出来る」ものがあるとしたらこのエクイティ・パートナーシップは江戸詰めでない fact2: あの平均以上は削ぎ落とす fact3: もしも何かは心細いかあるいは草履であるかまたは両方であるならそのＦＥＮは独立家屋でない fact4: そのＦＥＮは悔やみ切れる fact5: そのＦＥＮは心細いかあるいは草履であるかもしくは両方ともだ fact6: 「儚くない」ものはある fact7: もし仮に「嫌味ったらしいかもしくは如此し」物があるならばあの第二ステップは個別指導でない fact8: 「あの平均以上はいみじ」ということは事実である fact9: もし心細いものがあるとすればそのＦＥＮは草履でない fact10: とある物は気難しいということはない fact11: 仮になにかは小麦粉中であるかそれが押さえ難いならそのＦＥＮは腎不全ラットでない fact12: なにがしかの物は草履だ fact13: そのＦＥＮはいみじない fact14: もし「とある物は草履であるかまたはそれは心細いかまたはどちらもだ」ということは成り立つならそのＦＥＮは独立家屋でない fact15: 「急かない」ものはある fact16: 「参拝前でない」物はある fact17: 何らかのものは連係しない fact18: もしそのＦＥＮはいみじないとすると「あの平均以上は草履だし個別指導だ」ということは成り立つということはない fact19: あの平均以上は独立家屋である fact20: あの平均以上は発議権でない fact21: あの平均以上は座る fact22: もし仮にある物が独立家屋であるかそれが心細いかどちらもであるならそのＦＥＮは草履でない
fact19 -> int1: あの平均以上は独立家屋であるかあるいはそれは心細い; int1 -> int2: 「独立家屋であるかあるいは心細い」ものはある; int2 & fact22 -> int3: そのＦＥＮは草履でない; int3 -> hypothesis;
そのジャンボピーマンは煙たいかあるいは心細いかまたは両方ともだ
fact23 & fact24 -> int4: 「「あの平均以上は草履であるしそれに個別指導である」ということは成り立つ」ということは成り立たない; int4 -> int5: 「「草履で個別指導だ」ということは正しくない」ものはある;
$facts$ = fact1: 「参拝前であるかまたは回転出来る」ものがあるとしたらこのエクイティ・パートナーシップは江戸詰めでない fact2: あの平均以上は削ぎ落とす fact3: もしも何かは心細いかあるいは草履であるかまたは両方であるならそのＦＥＮは独立家屋でない fact4: そのＦＥＮは悔やみ切れる fact5: そのＦＥＮは心細いかあるいは草履であるかもしくは両方ともだ fact6: 「儚くない」ものはある fact7: もし仮に「嫌味ったらしいかもしくは如此し」物があるならばあの第二ステップは個別指導でない fact8: 「あの平均以上はいみじ」ということは事実である fact9: もし心細いものがあるとすればそのＦＥＮは草履でない fact10: とある物は気難しいということはない fact11: 仮になにかは小麦粉中であるかそれが押さえ難いならそのＦＥＮは腎不全ラットでない fact12: なにがしかの物は草履だ fact13: そのＦＥＮはいみじない fact14: もし「とある物は草履であるかまたはそれは心細いかまたはどちらもだ」ということは成り立つならそのＦＥＮは独立家屋でない fact15: 「急かない」ものはある fact16: 「参拝前でない」物はある fact17: 何らかのものは連係しない fact18: もしそのＦＥＮはいみじないとすると「あの平均以上は草履だし個別指導だ」ということは成り立つということはない fact19: あの平均以上は独立家屋である fact20: あの平均以上は発議権でない fact21: あの平均以上は座る fact22: もし仮にある物が独立家屋であるかそれが心細いかどちらもであるならそのＦＥＮは草履でない ; $hypothesis$ = とある物は草履だということはない ; $proof$ = 
fact19 -> int1: あの平均以上は独立家屋であるかあるいはそれは心細い; int1 -> int2: 「独立家屋であるかあるいは心細い」ものはある; int2 & fact22 -> int3: そのＦＥＮは草履でない; int3 -> hypothesis; __PROVED__
事実1: 「参拝前であるかまたは回転出来る」ものがあるとしたらこのエクイティ・パートナーシップは江戸詰めでない
事実2: あの平均以上は削ぎ落とす
事実3: もしも何かは心細いかあるいは草履であるかまたは両方であるならそのＦＥＮは独立家屋でない
事実4: そのＦＥＮは悔やみ切れる
事実5: そのＦＥＮは心細いかあるいは草履であるかもしくは両方ともだ
事実6: 「儚くない」ものはある
事実7: もし仮に「嫌味ったらしいかもしくは如此し」物があるならばあの第二ステップは個別指導でない
事実8: 「あの平均以上はいみじ」ということは事実である
事実9: もし心細いものがあるとすればそのＦＥＮは草履でない
事実10: とある物は気難しいということはない
事実11: 仮になにかは小麦粉中であるかそれが押さえ難いならそのＦＥＮは腎不全ラットでない
事実12: なにがしかの物は草履だ
事実13: そのＦＥＮはいみじない
事実14: もし「とある物は草履であるかまたはそれは心細いかまたはどちらもだ」ということは成り立つならそのＦＥＮは独立家屋でない
事実15: 「急かない」ものはある
事実16: 「参拝前でない」物はある
事実17: 何らかのものは連係しない
事実18: もしそのＦＥＮはいみじないとすると「あの平均以上は草履だし個別指導だ」ということは成り立つということはない
事実19: あの平均以上は独立家屋である
事実20: あの平均以上は発議権でない
事実21: あの平均以上は座る
事実22: もし仮にある物が独立家屋であるかそれが心細いかどちらもであるならそのＦＥＮは草履でない

仮説: とある物は草履だということはない
1. 事実19から、推論1: "あの平均以上は独立家屋であるかあるいはそれは心細い"が導かれる
2. 推論1から、推論2: "「独立家屋であるかあるいは心細い」ものはある"が導かれる
3. 推論2と事実22から、推論3: "そのＦＥＮは草履でない"が導かれる
4. 推論3から、仮説が導かれる

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