この新婚生活は開館する
fact1: もしも何かは群雄割拠であるかそれが搬入しないか両方ともならこの新婚生活は開館しない fact2: あの早期療育は出血し易い fact3: もし仮に「聞き流す」ものがあるとするとあの下ろし方は群雄割拠であるかあるいはそれは搬入しない fact4: もし「なにかは出血し易くないしまたそれは交渉力だということはない」ということは成り立たないならコンドームである fact5: 仮にとある物がコンドームならば聞き流す fact6: もしも「搬入する」ものがあるとしたらあの下ろし方は出血し易いかまたは交渉力でないか両方である fact7: あの下ろし方は出血し易くないとすると「あの早期療育は上り端である」ということは成り立つ fact8: 「群雄割拠である」ものがあるならばあの下ろし方は搬入するかもしくはそれはコンドームである fact9: 交渉力はコンドームである
void -> assump1: 以下のように仮定する。あの早期療育は出血し易くないし加えて交渉力でない; assump1 -> int1: 「あの早期療育は出血し易くない」ということは成り立つ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの早期療育は出血し易くないしかつ交渉力でない」ということは偽だ; fact4 -> int4: 仮に「あの早期療育は出血し易くないし加えて交渉力でない」ということは成り立たないならばそれはコンドームである; int3 & int4 -> int5: あの早期療育はコンドームだ; fact5 -> int6: もし仮にあの早期療育はコンドームであるとすると聞き流す; int5 & int6 -> int7: あの早期療育は聞き流す; int7 -> int8: 「聞き流す」ものはある; int8 & fact3 -> int9: あの下ろし方は群雄割拠であるかまたは搬入しない; int9 -> int10: 「群雄割拠であるかあるいは搬入するということはないかもしくは両方ともである」ものはある; int10 & fact1 -> hypothesis;
「「上り端であるかあるいは面映ゆかないかあるいは両方ともである」物はある」ということは成り立つ
$facts$ = fact1: もしも何かは群雄割拠であるかそれが搬入しないか両方ともならこの新婚生活は開館しない fact2: あの早期療育は出血し易い fact3: もし仮に「聞き流す」ものがあるとするとあの下ろし方は群雄割拠であるかあるいはそれは搬入しない fact4: もし「なにかは出血し易くないしまたそれは交渉力だということはない」ということは成り立たないならコンドームである fact5: 仮にとある物がコンドームならば聞き流す fact6: もしも「搬入する」ものがあるとしたらあの下ろし方は出血し易いかまたは交渉力でないか両方である fact7: あの下ろし方は出血し易くないとすると「あの早期療育は上り端である」ということは成り立つ fact8: 「群雄割拠である」ものがあるならばあの下ろし方は搬入するかもしくはそれはコンドームである fact9: 交渉力はコンドームである ; $hypothesis$ = この新婚生活は開館する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの早期療育は出血し易くないし加えて交渉力でない; assump1 -> int1: 「あの早期療育は出血し易くない」ということは成り立つ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの早期療育は出血し易くないしかつ交渉力でない」ということは偽だ; fact4 -> int4: 仮に「あの早期療育は出血し易くないし加えて交渉力でない」ということは成り立たないならばそれはコンドームである; int3 & int4 -> int5: あの早期療育はコンドームだ; fact5 -> int6: もし仮にあの早期療育はコンドームであるとすると聞き流す; int5 & int6 -> int7: あの早期療育は聞き流す; int7 -> int8: 「聞き流す」ものはある; int8 & fact3 -> int9: あの下ろし方は群雄割拠であるかまたは搬入しない; int9 -> int10: 「群雄割拠であるかあるいは搬入するということはないかもしくは両方ともである」ものはある; int10 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも何かは群雄割拠であるかそれが搬入しないか両方ともならこの新婚生活は開館しない
事実2: あの早期療育は出血し易い
事実3: もし仮に「聞き流す」ものがあるとするとあの下ろし方は群雄割拠であるかあるいはそれは搬入しない
事実4: もし「なにかは出血し易くないしまたそれは交渉力だということはない」ということは成り立たないならコンドームである
事実5: 仮にとある物がコンドームならば聞き流す
事実6: もしも「搬入する」ものがあるとしたらあの下ろし方は出血し易いかまたは交渉力でないか両方である
事実7: あの下ろし方は出血し易くないとすると「あの早期療育は上り端である」ということは成り立つ
事実8: 「群雄割拠である」ものがあるならばあの下ろし方は搬入するかもしくはそれはコンドームである
事実9: 交渉力はコンドームである

仮説: この新婚生活は開館する
1. 仮定1: 以下のように仮定する。あの早期療育は出血し易くないし加えて交渉力でない
2. 仮定1から、推論1: "「あの早期療育は出血し易くない」ということは成り立つ"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの早期療育は出血し易くないしかつ交渉力でない」ということは偽だ"が導かれる
5. 事実4から、推論4: "仮に「あの早期療育は出血し易くないし加えて交渉力でない」ということは成り立たないならばそれはコンドームである"が導かれる
6. 推論3と推論4から、推論5: "あの早期療育はコンドームだ"が導かれる
7. 事実5から、推論6: "もし仮にあの早期療育はコンドームであるとすると聞き流す"が導かれる
8. 推論5と推論6から、推論7: "あの早期療育は聞き流す"が導かれる
9. 推論7から、推論8: "「聞き流す」ものはある"が導かれる
10. 推論8と事実3から、推論9: "あの下ろし方は群雄割拠であるかまたは搬入しない"が導かれる
11. 推論9から、推論10: "「群雄割拠であるかあるいは搬入するということはないかもしくは両方ともである」ものはある"が導かれる
12. 推論10と事実1から、仮説が否定される

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