「もし仮にそのスエズ運河が預金するとしたらその正邪は信じ易い」ということは成り立つということはない
fact1: その親企業は預金する fact2: もしそのスエズ運河が預金しないとしたら三歳未満である fact3: 香ばしいということはない物は進化し易い fact4: このジャッカルは三歳未満だ fact5: 「あのスラグは三歳未満である」ということは事実と異ならない fact6: もし「その正邪は預金する」ということは成り立てばそのスエズ運河は熱過ぎるということはないかもしくは信じ易いか両方である fact7: もしそのスエズ運河が預金するならその正邪は熱過ぎないか三歳未満であるかもしくは両方ともである fact8: 仮にその正邪は熱過ぎるということはないかあるいは預金するかあるいはどちらもだとしたらそれは三歳未満である fact9: この大行列は預金する fact10: そのスエズ運河は三歳未満であるかもしくはそれは預金するかあるいは両方である fact11: この不動産投資信託は事務長であるかあるいは信じ易いかもしくはどちらもだ fact12: もし仮になんらかの物は熱過ぎないか預金するかもしくは両方であるなら信じ易い fact13: もしも何かは熱過ぎるということはないか三歳未満であるかまたはどちらもなら「信じ易い」ということは成り立つ
void -> assump1: 以下のように仮定する。「そのスエズ運河は預金する」ということは成り立つ; fact7 & assump1 -> int1: その正邪は熱過ぎるということはないかまたはそれは三歳未満である; fact13 -> int2: その正邪が熱過ぎないか三歳未満であるかまたは両方ともであるとするとそれは信じ易い; int1 & int2 -> int3: 「その正邪は信じ易い」ということは事実である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その親企業は預金する fact2: もしそのスエズ運河が預金しないとしたら三歳未満である fact3: 香ばしいということはない物は進化し易い fact4: このジャッカルは三歳未満だ fact5: 「あのスラグは三歳未満である」ということは事実と異ならない fact6: もし「その正邪は預金する」ということは成り立てばそのスエズ運河は熱過ぎるということはないかもしくは信じ易いか両方である fact7: もしそのスエズ運河が預金するならその正邪は熱過ぎないか三歳未満であるかもしくは両方ともである fact8: 仮にその正邪は熱過ぎるということはないかあるいは預金するかあるいはどちらもだとしたらそれは三歳未満である fact9: この大行列は預金する fact10: そのスエズ運河は三歳未満であるかもしくはそれは預金するかあるいは両方である fact11: この不動産投資信託は事務長であるかあるいは信じ易いかもしくはどちらもだ fact12: もし仮になんらかの物は熱過ぎないか預金するかもしくは両方であるなら信じ易い fact13: もしも何かは熱過ぎるということはないか三歳未満であるかまたはどちらもなら「信じ易い」ということは成り立つ ; $hypothesis$ = 「もし仮にそのスエズ運河が預金するとしたらその正邪は信じ易い」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのスエズ運河は預金する」ということは成り立つ; fact7 & assump1 -> int1: その正邪は熱過ぎるということはないかまたはそれは三歳未満である; fact13 -> int2: その正邪が熱過ぎないか三歳未満であるかまたは両方ともであるとするとそれは信じ易い; int1 & int2 -> int3: 「その正邪は信じ易い」ということは事実である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その親企業は預金する
事実2: もしそのスエズ運河が預金しないとしたら三歳未満である
事実3: 香ばしいということはない物は進化し易い
事実4: このジャッカルは三歳未満だ
事実5: 「あのスラグは三歳未満である」ということは事実と異ならない
事実6: もし「その正邪は預金する」ということは成り立てばそのスエズ運河は熱過ぎるということはないかもしくは信じ易いか両方である
事実7: もしそのスエズ運河が預金するならその正邪は熱過ぎないか三歳未満であるかもしくは両方ともである
事実8: 仮にその正邪は熱過ぎるということはないかあるいは預金するかあるいはどちらもだとしたらそれは三歳未満である
事実9: この大行列は預金する
事実10: そのスエズ運河は三歳未満であるかもしくはそれは預金するかあるいは両方である
事実11: この不動産投資信託は事務長であるかあるいは信じ易いかもしくはどちらもだ
事実12: もし仮になんらかの物は熱過ぎないか預金するかもしくは両方であるなら信じ易い
事実13: もしも何かは熱過ぎるということはないか三歳未満であるかまたはどちらもなら「信じ易い」ということは成り立つ

仮説: 「もし仮にそのスエズ運河が預金するとしたらその正邪は信じ易い」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「そのスエズ運河は預金する」ということは成り立つ
2. 事実7と仮定1から、推論1: "その正邪は熱過ぎるということはないかまたはそれは三歳未満である"が導かれる
3. 事実13から、推論2: "その正邪が熱過ぎないか三歳未満であるかまたは両方ともであるとするとそれは信じ易い"が導かれる
4. 推論1と推論2から、推論3: "「その正邪は信じ易い」ということは事実である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。