「甘辛くないとすれば混入し易くない」ものはある
fact1: あの完本が甘辛くないとすればそれは混入し易い fact2: もしあの完本がかわゆくないとすると混入し易くない fact3: もしも何かは甘辛いということはないならば「かわゆいし往還しない」ということは誤りだ fact4: 「甘辛いとしたら混入し易くない」物はある fact5: 仮にあの安普請は石造道標でないならば「それはかわゆいけれど豪華でない」ということは事実と異なる fact6: あの完本は読字・読解成績でない fact7: 仮にとある物がかわゆくないならば混入し易くない fact8: あの完本はオレンジピールでない fact9: 仮にあの芝白金は税関でないならば「置き過ぎるしまたそれはかわゆくない」ということは嘘だ fact10: 「もしも甘辛いということはないならば混入し易い」ものはある fact11: もし仮に「とあるものはかわゆいけれど往還しない」ということは間違っていれば混入し易い fact12: もし仮に「何らかのものは加圧するが吹き易くない」ということは事実と異なればそれは新受件数だということはない fact13: もしも「とあるものはかわゆいがしかし往還しない」ということは誤っているとしたら混入し易くない fact14: もし「あの完本はかわゆいけれど往還しない」ということは嘘ならば混入し易い fact15: 仮に「あの完本は甘辛い」ということは成り立つならそれは混入し易いということはない
fact3 -> int1: 仮にあの完本は甘辛くないとすれば「それはかわゆくて加えてそれは往還しない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの完本は甘辛くない; int1 & assump1 -> int2: 「あの完本はかわゆいけど往還しない」ということは真実でない; fact13 -> int3: もし仮に「あの完本はかわゆい一方でそれは往還しない」ということは成り立たないとすれば混入し易くない; int2 & int3 -> int4: あの完本は混入し易くない; [assump1] & int4 -> int5: もし仮にあの完本が甘辛くないとしたらそれは混入し易くない; int5 -> hypothesis;
$facts$ = fact1: あの完本が甘辛くないとすればそれは混入し易い fact2: もしあの完本がかわゆくないとすると混入し易くない fact3: もしも何かは甘辛いということはないならば「かわゆいし往還しない」ということは誤りだ fact4: 「甘辛いとしたら混入し易くない」物はある fact5: 仮にあの安普請は石造道標でないならば「それはかわゆいけれど豪華でない」ということは事実と異なる fact6: あの完本は読字・読解成績でない fact7: 仮にとある物がかわゆくないならば混入し易くない fact8: あの完本はオレンジピールでない fact9: 仮にあの芝白金は税関でないならば「置き過ぎるしまたそれはかわゆくない」ということは嘘だ fact10: 「もしも甘辛いということはないならば混入し易い」ものはある fact11: もし仮に「とあるものはかわゆいけれど往還しない」ということは間違っていれば混入し易い fact12: もし仮に「何らかのものは加圧するが吹き易くない」ということは事実と異なればそれは新受件数だということはない fact13: もしも「とあるものはかわゆいがしかし往還しない」ということは誤っているとしたら混入し易くない fact14: もし「あの完本はかわゆいけれど往還しない」ということは嘘ならば混入し易い fact15: 仮に「あの完本は甘辛い」ということは成り立つならそれは混入し易いということはない ; $hypothesis$ = 「甘辛くないとすれば混入し易くない」ものはある ; $proof$ = 
fact3 -> int1: 仮にあの完本は甘辛くないとすれば「それはかわゆくて加えてそれは往還しない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの完本は甘辛くない; int1 & assump1 -> int2: 「あの完本はかわゆいけど往還しない」ということは真実でない; fact13 -> int3: もし仮に「あの完本はかわゆい一方でそれは往還しない」ということは成り立たないとすれば混入し易くない; int2 & int3 -> int4: あの完本は混入し易くない; [assump1] & int4 -> int5: もし仮にあの完本が甘辛くないとしたらそれは混入し易くない; int5 -> hypothesis; __PROVED__
事実1: あの完本が甘辛くないとすればそれは混入し易い
事実2: もしあの完本がかわゆくないとすると混入し易くない
事実3: もしも何かは甘辛いということはないならば「かわゆいし往還しない」ということは誤りだ
事実4: 「甘辛いとしたら混入し易くない」物はある
事実5: 仮にあの安普請は石造道標でないならば「それはかわゆいけれど豪華でない」ということは事実と異なる
事実6: あの完本は読字・読解成績でない
事実7: 仮にとある物がかわゆくないならば混入し易くない
事実8: あの完本はオレンジピールでない
事実9: 仮にあの芝白金は税関でないならば「置き過ぎるしまたそれはかわゆくない」ということは嘘だ
事実10: 「もしも甘辛いということはないならば混入し易い」ものはある
事実11: もし仮に「とあるものはかわゆいけれど往還しない」ということは間違っていれば混入し易い
事実12: もし仮に「何らかのものは加圧するが吹き易くない」ということは事実と異なればそれは新受件数だということはない
事実13: もしも「とあるものはかわゆいがしかし往還しない」ということは誤っているとしたら混入し易くない
事実14: もし「あの完本はかわゆいけれど往還しない」ということは嘘ならば混入し易い
事実15: 仮に「あの完本は甘辛い」ということは成り立つならそれは混入し易いということはない

仮説: 「甘辛くないとすれば混入し易くない」ものはある
1. 事実3から、推論1: "仮にあの完本は甘辛くないとすれば「それはかわゆくて加えてそれは往還しない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの完本は甘辛くない
3. 推論1と仮定1から、推論2: "「あの完本はかわゆいけど往還しない」ということは真実でない"が導かれる
4. 事実13から、推論3: "もし仮に「あの完本はかわゆい一方でそれは往還しない」ということは成り立たないとすれば混入し易くない"が導かれる
5. 推論2と推論3から、推論4: "あの完本は混入し易くない"が導かれる
6. [仮定1]と推論4から、推論5: "もし仮にあの完本が甘辛くないとしたらそれは混入し易くない"が導かれる
7. 推論5から、仮説が導かれる

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