その万国博覧会は数年前である
fact1: あの排尿痛は昇格するし然する fact2: 仮にその万国博覧会が適合出来るということはないか然するかもしくは両方であるとしたらあの排尿痛は舎監であるということはない fact3: その万国博覧会は引き易い fact4: 仮にその万国博覧会が数年前だとすると適合出来ないかもしくは然するか両方だ fact5: もしあの排尿痛が舎監でないかもしくは適合出来るかもしくはどちらもであるならその万国博覧会は然しない fact6: その万国博覧会が昇格すれば然するかもしくはそれは適合出来るかまたはどちらもだ fact7: あの排尿痛は数年前であるかあるいは昇格するかまたはどちらもだ fact8: すべてのものは昇格するし舎監だ
void -> assump1: 以下のように仮定する。その万国博覧会は数年前である; fact4 & assump1 -> int1: 「その万国博覧会は適合出来ないかもしくは然する」ということは事実だ; int1 & fact2 -> int2: あの排尿痛は舎監でない; fact8 -> int3: あの排尿痛は昇格するし舎監である; int3 -> int4: あの排尿痛は舎監である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの排尿痛は昇格するし然する fact2: 仮にその万国博覧会が適合出来るということはないか然するかもしくは両方であるとしたらあの排尿痛は舎監であるということはない fact3: その万国博覧会は引き易い fact4: 仮にその万国博覧会が数年前だとすると適合出来ないかもしくは然するか両方だ fact5: もしあの排尿痛が舎監でないかもしくは適合出来るかもしくはどちらもであるならその万国博覧会は然しない fact6: その万国博覧会が昇格すれば然するかもしくはそれは適合出来るかまたはどちらもだ fact7: あの排尿痛は数年前であるかあるいは昇格するかまたはどちらもだ fact8: すべてのものは昇格するし舎監だ ; $hypothesis$ = その万国博覧会は数年前である ; $proof$ = 
void -> assump1: 以下のように仮定する。その万国博覧会は数年前である; fact4 & assump1 -> int1: 「その万国博覧会は適合出来ないかもしくは然する」ということは事実だ; int1 & fact2 -> int2: あの排尿痛は舎監でない; fact8 -> int3: あの排尿痛は昇格するし舎監である; int3 -> int4: あの排尿痛は舎監である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの排尿痛は昇格するし然する
事実2: 仮にその万国博覧会が適合出来るということはないか然するかもしくは両方であるとしたらあの排尿痛は舎監であるということはない
事実3: その万国博覧会は引き易い
事実4: 仮にその万国博覧会が数年前だとすると適合出来ないかもしくは然するか両方だ
事実5: もしあの排尿痛が舎監でないかもしくは適合出来るかもしくはどちらもであるならその万国博覧会は然しない
事実6: その万国博覧会が昇格すれば然するかもしくはそれは適合出来るかまたはどちらもだ
事実7: あの排尿痛は数年前であるかあるいは昇格するかまたはどちらもだ
事実8: すべてのものは昇格するし舎監だ

仮説: その万国博覧会は数年前である
1. 仮定1: 以下のように仮定する。その万国博覧会は数年前である
2. 事実4と仮定1から、推論1: "「その万国博覧会は適合出来ないかもしくは然する」ということは事実だ"が導かれる
3. 推論1と事実2から、推論2: "あの排尿痛は舎監でない"が導かれる
4. 事実8から、推論3: "あの排尿痛は昇格するし舎監である"が導かれる
5. 推論3から、推論4: "あの排尿痛は舎監である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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