もしその欠き氷が休業中でないならばその期末残高は厚くなくて加えて遠ざけない
fact1: その欠き氷は増え難いということはない fact2: その期末残高は厚くない fact3: その穀物飼料は休業中でない fact4: もし仮にある物は遡行しないけど険しいとすればそれはベンチである fact5: 「その欠き氷は増え難いしとろい」ということは偽である fact6: その期末残高は休業中でない fact7: もし「とあるものは休業中でなくてそれは厚くない」ということは成り立たないなら遠ざけない fact8: その期末残高が厚くないならその欠き氷は遠ざけないし休業中でない fact9: その期末残高がとろいとしたらその欠き氷は厚くない fact10: もし仮にその借景は送致しないがくすむとしたら厚い fact11: もしもその穀物飼料は遠ざけないけれどとろいなら「それは厚い」ということは確かである fact12: もしもその穀物飼料が遠ざけるならその期末残高は厚くなくてまた遠ざけない fact13: 「その期末残高は厚いし更にそれは増え難い」ということは真実であるということはない fact14: もしある物は増え難くないけれどとろいとすれば休業中である fact15: その穀物飼料はとろい fact16: もし「その欠き氷は増え難いということはないがしかしとろい」ということは確かでないとするとその穀物飼料は遠ざける
fact14 -> int1: 仮にその欠き氷が増え難くないがそれがとろいなら休業中である; void -> assump2: 以下のように仮定する。その欠き氷は増え難くないがしかしそれはとろい; int1 & assump2 -> int2: その欠き氷は休業中だ; void -> assump1: 以下のように仮定する。その欠き氷は休業中でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「「その欠き氷は増え難くないけれどそれはとろい」ということは事実だ」ということは間違いだ; int4 & fact16 -> int5: 「その穀物飼料は遠ざける」ということは成り立つ; int5 & fact12 -> int6: 「その期末残高は厚くなくて遠ざけない」ということは確かだ; [assump1] & int6 -> hypothesis;
その穀物飼料は作り易いということはないけど増え難い
fact18 -> int7: もしも「その期末残高は休業中でなくてそれに厚くない」ということは間違っているなら遠ざけない; fact17 -> int8: あの生物多様性は遡行しないけど険しいなら「それはベンチだ」ということは本当だ;
$facts$ = fact1: その欠き氷は増え難いということはない fact2: その期末残高は厚くない fact3: その穀物飼料は休業中でない fact4: もし仮にある物は遡行しないけど険しいとすればそれはベンチである fact5: 「その欠き氷は増え難いしとろい」ということは偽である fact6: その期末残高は休業中でない fact7: もし「とあるものは休業中でなくてそれは厚くない」ということは成り立たないなら遠ざけない fact8: その期末残高が厚くないならその欠き氷は遠ざけないし休業中でない fact9: その期末残高がとろいとしたらその欠き氷は厚くない fact10: もし仮にその借景は送致しないがくすむとしたら厚い fact11: もしもその穀物飼料は遠ざけないけれどとろいなら「それは厚い」ということは確かである fact12: もしもその穀物飼料が遠ざけるならその期末残高は厚くなくてまた遠ざけない fact13: 「その期末残高は厚いし更にそれは増え難い」ということは真実であるということはない fact14: もしある物は増え難くないけれどとろいとすれば休業中である fact15: その穀物飼料はとろい fact16: もし「その欠き氷は増え難いということはないがしかしとろい」ということは確かでないとするとその穀物飼料は遠ざける ; $hypothesis$ = もしその欠き氷が休業中でないならばその期末残高は厚くなくて加えて遠ざけない ; $proof$ = 
fact14 -> int1: 仮にその欠き氷が増え難くないがそれがとろいなら休業中である; void -> assump2: 以下のように仮定する。その欠き氷は増え難くないがしかしそれはとろい; int1 & assump2 -> int2: その欠き氷は休業中だ; void -> assump1: 以下のように仮定する。その欠き氷は休業中でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「「その欠き氷は増え難くないけれどそれはとろい」ということは事実だ」ということは間違いだ; int4 & fact16 -> int5: 「その穀物飼料は遠ざける」ということは成り立つ; int5 & fact12 -> int6: 「その期末残高は厚くなくて遠ざけない」ということは確かだ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その欠き氷は増え難いということはない
事実2: その期末残高は厚くない
事実3: その穀物飼料は休業中でない
事実4: もし仮にある物は遡行しないけど険しいとすればそれはベンチである
事実5: 「その欠き氷は増え難いしとろい」ということは偽である
事実6: その期末残高は休業中でない
事実7: もし「とあるものは休業中でなくてそれは厚くない」ということは成り立たないなら遠ざけない
事実8: その期末残高が厚くないならその欠き氷は遠ざけないし休業中でない
事実9: その期末残高がとろいとしたらその欠き氷は厚くない
事実10: もし仮にその借景は送致しないがくすむとしたら厚い
事実11: もしもその穀物飼料は遠ざけないけれどとろいなら「それは厚い」ということは確かである
事実12: もしもその穀物飼料が遠ざけるならその期末残高は厚くなくてまた遠ざけない
事実13: 「その期末残高は厚いし更にそれは増え難い」ということは真実であるということはない
事実14: もしある物は増え難くないけれどとろいとすれば休業中である
事実15: その穀物飼料はとろい
事実16: もし「その欠き氷は増え難いということはないがしかしとろい」ということは確かでないとするとその穀物飼料は遠ざける

仮説: もしその欠き氷が休業中でないならばその期末残高は厚くなくて加えて遠ざけない
1. 事実14から、推論1: "仮にその欠き氷が増え難くないがそれがとろいなら休業中である"が導かれる
2. 仮定2: 以下のように仮定する。その欠き氷は増え難くないがしかしそれはとろい
3. 推論1と仮定2から、推論2: "その欠き氷は休業中だ"が導かれる
4. 仮定1: 以下のように仮定する。その欠き氷は休業中でない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「「その欠き氷は増え難くないけれどそれはとろい」ということは事実だ」ということは間違いだ"が導かれる
7. 推論4と事実16から、推論5: "「その穀物飼料は遠ざける」ということは成り立つ"が導かれる
8. 推論5と事実12から、推論6: "「その期末残高は厚くなくて遠ざけない」ということは確かだ"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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