あの歴史評論は洗礼式だ
fact1: もしあの歴史評論がアジア市場でないとしたらそれは開園するし更にそれは大寺である fact2: すべての物はどぎつい fact3: あの歴史評論は取っ付き易い fact4: もしもあの歴史評論が洗礼式だとしたらそれは所轄しないしその上それは答え易い fact5: 仮にとあるものが開園するとしたらそれはどぎつい fact6: もし仮に「大寺である」ものがあるならこの二メートル以上は開園する fact7: あの歴史評論はゴム箆でない fact8: どれもこれもはどぎつくてそれにそれは所轄する fact9: もしもあの歴史評論がどぎついならばあの保険料負担はどぎつい fact10: 仮にあの歴史評論は洗礼式であるとすれば答え易い fact11: 全てのものが大寺だしそれはアジア市場である fact12: あの歴史評論はどぎつい fact13: あの歴史評論は答え易い
void -> assump1: 以下のように仮定する。あの歴史評論は洗礼式だ; fact4 & assump1 -> int1: あの歴史評論は所轄しない一方で答え易い; int1 -> int2: あの歴史評論は所轄しない; fact8 -> int3: あの歴史評論はどぎつくてまたそれは所轄する; int3 -> int4: あの歴史評論は所轄する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの歴史評論は洗礼式だ
fact15 -> int6: もしもあの歴史評論が開園するとしたらそれはどぎつい;
$facts$ = fact1: もしあの歴史評論がアジア市場でないとしたらそれは開園するし更にそれは大寺である fact2: すべての物はどぎつい fact3: あの歴史評論は取っ付き易い fact4: もしもあの歴史評論が洗礼式だとしたらそれは所轄しないしその上それは答え易い fact5: 仮にとあるものが開園するとしたらそれはどぎつい fact6: もし仮に「大寺である」ものがあるならこの二メートル以上は開園する fact7: あの歴史評論はゴム箆でない fact8: どれもこれもはどぎつくてそれにそれは所轄する fact9: もしもあの歴史評論がどぎついならばあの保険料負担はどぎつい fact10: 仮にあの歴史評論は洗礼式であるとすれば答え易い fact11: 全てのものが大寺だしそれはアジア市場である fact12: あの歴史評論はどぎつい fact13: あの歴史評論は答え易い ; $hypothesis$ = あの歴史評論は洗礼式だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの歴史評論は洗礼式だ; fact4 & assump1 -> int1: あの歴史評論は所轄しない一方で答え易い; int1 -> int2: あの歴史評論は所轄しない; fact8 -> int3: あの歴史評論はどぎつくてまたそれは所轄する; int3 -> int4: あの歴史評論は所轄する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしあの歴史評論がアジア市場でないとしたらそれは開園するし更にそれは大寺である
事実2: すべての物はどぎつい
事実3: あの歴史評論は取っ付き易い
事実4: もしもあの歴史評論が洗礼式だとしたらそれは所轄しないしその上それは答え易い
事実5: 仮にとあるものが開園するとしたらそれはどぎつい
事実6: もし仮に「大寺である」ものがあるならこの二メートル以上は開園する
事実7: あの歴史評論はゴム箆でない
事実8: どれもこれもはどぎつくてそれにそれは所轄する
事実9: もしもあの歴史評論がどぎついならばあの保険料負担はどぎつい
事実10: 仮にあの歴史評論は洗礼式であるとすれば答え易い
事実11: 全てのものが大寺だしそれはアジア市場である
事実12: あの歴史評論はどぎつい
事実13: あの歴史評論は答え易い

仮説: あの歴史評論は洗礼式だ
1. 仮定1: 以下のように仮定する。あの歴史評論は洗礼式だ
2. 事実4と仮定1から、推論1: "あの歴史評論は所轄しない一方で答え易い"が導かれる
3. 推論1から、推論2: "あの歴史評論は所轄しない"が導かれる
4. 事実8から、推論3: "あの歴史評論はどぎつくてまたそれは所轄する"が導かれる
5. 推論3から、推論4: "あの歴史評論は所轄する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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