その四大文明は起き易い
fact1: もし「この区別は給付建てでないし支給対象月でない」ということは誤りであるならばその書類入れは給付建てだ fact2: もし仮になにかは当たり難いならば「それはドッキングする」ということは真実だ fact3: その四大文明は折り畳む fact4: その四大文明は驚嘆する fact5: もしも何らかの物が折り畳まないとしたら文明化するし起き易い fact6: その脈動は折り畳む fact7: その四大文明は驚嘆するしさらに文明化するとしたらそれは起き易いということはない fact8: 「近寄れる」ものはあるなら「この区別は給付建てだということはないしかつそれは支給対象月でない」ということは間違いだ fact9: 「ドッキングする」物があるとすればこの諸種は近寄れる fact10: その四大文明は文明化するしそれは折り畳む fact11: 給付建ては折り畳まないか驚嘆するということはないか両方だ fact12: もし仮にその書類入れが折り畳まないとするとその四大文明は折り畳まない fact13: あの六月生まれは当たり難い fact14: 「その四大文明は印加する」ということは誤りだということはない
fact10 -> int1: 「その四大文明は文明化するということはない」ということは成り立たない; int1 & fact4 -> int2: 「その四大文明は驚嘆するしそれは文明化する」ということは確かだ; int2 & fact7 -> hypothesis;
fact10 -> int1: {A}{a}; int1 & fact4 -> int2: ({C}{a} & {A}{a}); int2 & fact7 -> hypothesis;
「その四大文明は起き易い」ということは成り立つ
fact15 -> int3: その四大文明が折り畳まないとすればそれは文明化するしさらに起き易い; fact17 -> int4: もしもその書類入れが給付建てだとすればそれは折り畳まないか驚嘆しないかあるいは両方である; fact22 -> int5: もしあの六月生まれが当たり難いとすればドッキングする; int5 & fact16 -> int6: あの六月生まれはドッキングする; int6 -> int7: 「ドッキングする」ものはある; int7 & fact21 -> int8: この諸種は近寄れる; int8 -> int9: なにがしかのものは近寄れる; int9 & fact19 -> int10: 「この区別は給付建てでなくてまた支給対象月でない」ということは成り立たない; fact20 & int10 -> int11: その書類入れは給付建てだ; int4 & int11 -> int12: その書類入れは折り畳むということはないかもしくは驚嘆しないかもしくはどちらもである;
$facts$ = fact1: もし「この区別は給付建てでないし支給対象月でない」ということは誤りであるならばその書類入れは給付建てだ fact2: もし仮になにかは当たり難いならば「それはドッキングする」ということは真実だ fact3: その四大文明は折り畳む fact4: その四大文明は驚嘆する fact5: もしも何らかの物が折り畳まないとしたら文明化するし起き易い fact6: その脈動は折り畳む fact7: その四大文明は驚嘆するしさらに文明化するとしたらそれは起き易いということはない fact8: 「近寄れる」ものはあるなら「この区別は給付建てだということはないしかつそれは支給対象月でない」ということは間違いだ fact9: 「ドッキングする」物があるとすればこの諸種は近寄れる fact10: その四大文明は文明化するしそれは折り畳む fact11: 給付建ては折り畳まないか驚嘆するということはないか両方だ fact12: もし仮にその書類入れが折り畳まないとするとその四大文明は折り畳まない fact13: あの六月生まれは当たり難い fact14: 「その四大文明は印加する」ということは誤りだということはない ; $hypothesis$ = その四大文明は起き易い ; $proof$ = 
fact10 -> int1: 「その四大文明は文明化するということはない」ということは成り立たない; int1 & fact4 -> int2: 「その四大文明は驚嘆するしそれは文明化する」ということは確かだ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「この区別は給付建てでないし支給対象月でない」ということは誤りであるならばその書類入れは給付建てだ
事実2: もし仮になにかは当たり難いならば「それはドッキングする」ということは真実だ
事実3: その四大文明は折り畳む
事実4: その四大文明は驚嘆する
事実5: もしも何らかの物が折り畳まないとしたら文明化するし起き易い
事実6: その脈動は折り畳む
事実7: その四大文明は驚嘆するしさらに文明化するとしたらそれは起き易いということはない
事実8: 「近寄れる」ものはあるなら「この区別は給付建てだということはないしかつそれは支給対象月でない」ということは間違いだ
事実9: 「ドッキングする」物があるとすればこの諸種は近寄れる
事実10: その四大文明は文明化するしそれは折り畳む
事実11: 給付建ては折り畳まないか驚嘆するということはないか両方だ
事実12: もし仮にその書類入れが折り畳まないとするとその四大文明は折り畳まない
事実13: あの六月生まれは当たり難い
事実14: 「その四大文明は印加する」ということは誤りだということはない

仮説: その四大文明は起き易い
1. 事実10から、推論1: "「その四大文明は文明化するということはない」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "「その四大文明は驚嘆するしそれは文明化する」ということは確かだ"が導かれる
3. 推論2と事実7から、仮説が否定される

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