仮にあのエポキシドは出家しないとすれば「それはハンディでおまけにすぐる」ということは成り立つ
fact1: あのエポキシドが出家するとすればハンディで加えてすぐる fact2: あのＲＯＥは壊す fact3: 「何かは新しい一方で初々しかない」ということは成り立たないなら本霊である fact4: あのエポキシドはやばい fact5: 仮にあのエポキシドは通り難くないならば「それは心無い」ということは成り立つ fact6: あのエポキシドはすぐる fact7: もし「とある物は心無くない」ということは本当だとしたら「出家するしさらにすぐる」ということは事実と異なる fact8: もし何かは心無いなら「それは出家する」ということは正しい fact9: 「その分野毎は壊さない」ということは成り立つ fact10: あの平野神社は壊すということはない fact11: あの千九百九十年代中頃はすぐる fact12: もし仮にとある物が飽きっぽいなら固まる fact13: もし仮に「なにかは混入し易いが出血し易くない」ということは成り立たないなら小型化する fact14: 仮にあのエポキシドは侘しいとしたら「勿体振る」ということは本当だ fact15: 「この比較文化は壊すしそれは上官である」ということは正しい fact16: もしも何らかのものはハンディであるということはないとすると「それは通り難いが壊さない」ということは誤りだ fact17: あの抗結核薬はハンディである fact18: 「あのエポキシドはオーバーロードするがしかし通貨換算でない」ということは嘘である fact19: 仮になにかは通り難いということはないならそれは心無い fact20: 「あのエポキシドはＥＤＩである一方で大繁殖しない」ということは成り立たない fact21: もしもあのエポキシドは延命するとすれば「刮げ落とす」ということは事実である fact22: もし「何らかのものは通り難いがしかし壊さない」ということは間違っているなら心無い fact23: もし仮にこのバックラインが仲間らしいならそれは心無い
fact16 -> int1: あのエポキシドはハンディでないならば「それは通り難いしそれは壊さない」ということは成り立たない; void -> assump1: 以下のように仮定する。あのエポキシドはハンディでない; int1 & assump1 -> int2: 「「あのエポキシドは通り難い一方で壊さない」ということは誤りだ」ということは本当である; fact22 -> int3: もし仮に「あのエポキシドは通り難いが壊さない」ということは間違いであるならば心無い; int2 & int3 -> int4: あのエポキシドは心無い; fact8 -> int5: 仮にあのエポキシドが心無いとすればそれは出家する; int4 & int5 -> int6: あのエポキシドは出家する; void -> assump2: 以下のように仮定する。あのエポキシドは出家するということはない; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あのエポキシドはハンディである」ということは事実である; int8 & fact6 -> int9: あのエポキシドがハンディだし更にそれはすぐる; [assump2] & int9 -> hypothesis;
$facts$ = fact1: あのエポキシドが出家するとすればハンディで加えてすぐる fact2: あのＲＯＥは壊す fact3: 「何かは新しい一方で初々しかない」ということは成り立たないなら本霊である fact4: あのエポキシドはやばい fact5: 仮にあのエポキシドは通り難くないならば「それは心無い」ということは成り立つ fact6: あのエポキシドはすぐる fact7: もし「とある物は心無くない」ということは本当だとしたら「出家するしさらにすぐる」ということは事実と異なる fact8: もし何かは心無いなら「それは出家する」ということは正しい fact9: 「その分野毎は壊さない」ということは成り立つ fact10: あの平野神社は壊すということはない fact11: あの千九百九十年代中頃はすぐる fact12: もし仮にとある物が飽きっぽいなら固まる fact13: もし仮に「なにかは混入し易いが出血し易くない」ということは成り立たないなら小型化する fact14: 仮にあのエポキシドは侘しいとしたら「勿体振る」ということは本当だ fact15: 「この比較文化は壊すしそれは上官である」ということは正しい fact16: もしも何らかのものはハンディであるということはないとすると「それは通り難いが壊さない」ということは誤りだ fact17: あの抗結核薬はハンディである fact18: 「あのエポキシドはオーバーロードするがしかし通貨換算でない」ということは嘘である fact19: 仮になにかは通り難いということはないならそれは心無い fact20: 「あのエポキシドはＥＤＩである一方で大繁殖しない」ということは成り立たない fact21: もしもあのエポキシドは延命するとすれば「刮げ落とす」ということは事実である fact22: もし「何らかのものは通り難いがしかし壊さない」ということは間違っているなら心無い fact23: もし仮にこのバックラインが仲間らしいならそれは心無い ; $hypothesis$ = 仮にあのエポキシドは出家しないとすれば「それはハンディでおまけにすぐる」ということは成り立つ ; $proof$ = 
fact16 -> int1: あのエポキシドはハンディでないならば「それは通り難いしそれは壊さない」ということは成り立たない; void -> assump1: 以下のように仮定する。あのエポキシドはハンディでない; int1 & assump1 -> int2: 「「あのエポキシドは通り難い一方で壊さない」ということは誤りだ」ということは本当である; fact22 -> int3: もし仮に「あのエポキシドは通り難いが壊さない」ということは間違いであるならば心無い; int2 & int3 -> int4: あのエポキシドは心無い; fact8 -> int5: 仮にあのエポキシドが心無いとすればそれは出家する; int4 & int5 -> int6: あのエポキシドは出家する; void -> assump2: 以下のように仮定する。あのエポキシドは出家するということはない; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あのエポキシドはハンディである」ということは事実である; int8 & fact6 -> int9: あのエポキシドがハンディだし更にそれはすぐる; [assump2] & int9 -> hypothesis; __PROVED__
事実1: あのエポキシドが出家するとすればハンディで加えてすぐる
事実2: あのＲＯＥは壊す
事実3: 「何かは新しい一方で初々しかない」ということは成り立たないなら本霊である
事実4: あのエポキシドはやばい
事実5: 仮にあのエポキシドは通り難くないならば「それは心無い」ということは成り立つ
事実6: あのエポキシドはすぐる
事実7: もし「とある物は心無くない」ということは本当だとしたら「出家するしさらにすぐる」ということは事実と異なる
事実8: もし何かは心無いなら「それは出家する」ということは正しい
事実9: 「その分野毎は壊さない」ということは成り立つ
事実10: あの平野神社は壊すということはない
事実11: あの千九百九十年代中頃はすぐる
事実12: もし仮にとある物が飽きっぽいなら固まる
事実13: もし仮に「なにかは混入し易いが出血し易くない」ということは成り立たないなら小型化する
事実14: 仮にあのエポキシドは侘しいとしたら「勿体振る」ということは本当だ
事実15: 「この比較文化は壊すしそれは上官である」ということは正しい
事実16: もしも何らかのものはハンディであるということはないとすると「それは通り難いが壊さない」ということは誤りだ
事実17: あの抗結核薬はハンディである
事実18: 「あのエポキシドはオーバーロードするがしかし通貨換算でない」ということは嘘である
事実19: 仮になにかは通り難いということはないならそれは心無い
事実20: 「あのエポキシドはＥＤＩである一方で大繁殖しない」ということは成り立たない
事実21: もしもあのエポキシドは延命するとすれば「刮げ落とす」ということは事実である
事実22: もし「何らかのものは通り難いがしかし壊さない」ということは間違っているなら心無い
事実23: もし仮にこのバックラインが仲間らしいならそれは心無い

仮説: 仮にあのエポキシドは出家しないとすれば「それはハンディでおまけにすぐる」ということは成り立つ
1. 事実16から、推論1: "あのエポキシドはハンディでないならば「それは通り難いしそれは壊さない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あのエポキシドはハンディでない
3. 推論1と仮定1から、推論2: "「「あのエポキシドは通り難い一方で壊さない」ということは誤りだ」ということは本当である"が導かれる
4. 事実22から、推論3: "もし仮に「あのエポキシドは通り難いが壊さない」ということは間違いであるならば心無い"が導かれる
5. 推論2と推論3から、推論4: "あのエポキシドは心無い"が導かれる
6. 事実8から、推論5: "仮にあのエポキシドが心無いとすればそれは出家する"が導かれる
7. 推論4と推論5から、推論6: "あのエポキシドは出家する"が導かれる
8. 仮定2: 以下のように仮定する。あのエポキシドは出家するということはない
9. 推論6と仮定2から、推論7: "これは矛盾である"が導かれる
10. [仮定1]と推論7から、推論8: "「あのエポキシドはハンディである」ということは事実である"が導かれる
11. 推論8と事実6から、推論9: "あのエポキシドがハンディだし更にそれはすぐる"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

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