あの十二日民集は面倒臭い
fact1: その二十五日付けが続けるとしたらそれは浮き易い fact2: あの十二日民集は貰い泣きであるということはない fact3: もしこの副業は続けないとすれば「あの十二日民集は面倒臭いということはなくて加えて重合しない」ということは成り立つということはない fact4: 「あの十二日民集は火炎伸長である」ということは間違っていないとすればそれはブートする fact5: もし「とあるものは受け入れ難いしそれは火炎伸長である」ということは嘘であるとするとそれは火炎伸長でない fact6: あの十二日民集は火炎伸長だ fact7: 「なんらかの物は重合する」ということは確かであるとしたら「続ける」ということは成り立つ fact8: もし仮にあの十二日民集が面倒臭いならそれは重合する fact9: もし仮に「なにかは面倒臭くなくて更に重合しない」ということは成り立つということはないとするとそれは面倒臭い fact10: 「憲政会はキャラクタでない」ということは事実である fact11: もしある物がブートすれば続けない
void -> assump1: 以下のように仮定する。あの十二日民集は面倒臭い; fact8 & assump1 -> int1: あの十二日民集は重合する; fact7 -> int2: もしあの十二日民集が重合するなら続ける; int1 & int2 -> int3: あの十二日民集は続ける; fact11 -> int4: もし仮に「あの十二日民集はブートする」ということは確かだとすればそれは続けない; fact4 & fact6 -> int5: あの十二日民集はブートする; int4 & int5 -> int6: あの十二日民集は続けない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの十二日民集は面倒臭い
fact13 -> int8: もし「あの十二日民集は面倒臭くなくてまた重合しない」ということは成り立つということはないならばそれは面倒臭い; fact12 -> int9: もしも「「あの従業者は受け入れ難いし火炎伸長である」ということは間違いだ」ということは本当だとしたらそれは火炎伸長でない;
$facts$ = fact1: その二十五日付けが続けるとしたらそれは浮き易い fact2: あの十二日民集は貰い泣きであるということはない fact3: もしこの副業は続けないとすれば「あの十二日民集は面倒臭いということはなくて加えて重合しない」ということは成り立つということはない fact4: 「あの十二日民集は火炎伸長である」ということは間違っていないとすればそれはブートする fact5: もし「とあるものは受け入れ難いしそれは火炎伸長である」ということは嘘であるとするとそれは火炎伸長でない fact6: あの十二日民集は火炎伸長だ fact7: 「なんらかの物は重合する」ということは確かであるとしたら「続ける」ということは成り立つ fact8: もし仮にあの十二日民集が面倒臭いならそれは重合する fact9: もし仮に「なにかは面倒臭くなくて更に重合しない」ということは成り立つということはないとするとそれは面倒臭い fact10: 「憲政会はキャラクタでない」ということは事実である fact11: もしある物がブートすれば続けない ; $hypothesis$ = あの十二日民集は面倒臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十二日民集は面倒臭い; fact8 & assump1 -> int1: あの十二日民集は重合する; fact7 -> int2: もしあの十二日民集が重合するなら続ける; int1 & int2 -> int3: あの十二日民集は続ける; fact11 -> int4: もし仮に「あの十二日民集はブートする」ということは確かだとすればそれは続けない; fact4 & fact6 -> int5: あの十二日民集はブートする; int4 & int5 -> int6: あの十二日民集は続けない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その二十五日付けが続けるとしたらそれは浮き易い
事実2: あの十二日民集は貰い泣きであるということはない
事実3: もしこの副業は続けないとすれば「あの十二日民集は面倒臭いということはなくて加えて重合しない」ということは成り立つということはない
事実4: 「あの十二日民集は火炎伸長である」ということは間違っていないとすればそれはブートする
事実5: もし「とあるものは受け入れ難いしそれは火炎伸長である」ということは嘘であるとするとそれは火炎伸長でない
事実6: あの十二日民集は火炎伸長だ
事実7: 「なんらかの物は重合する」ということは確かであるとしたら「続ける」ということは成り立つ
事実8: もし仮にあの十二日民集が面倒臭いならそれは重合する
事実9: もし仮に「なにかは面倒臭くなくて更に重合しない」ということは成り立つということはないとするとそれは面倒臭い
事実10: 「憲政会はキャラクタでない」ということは事実である
事実11: もしある物がブートすれば続けない

仮説: あの十二日民集は面倒臭い
1. 仮定1: 以下のように仮定する。あの十二日民集は面倒臭い
2. 事実8と仮定1から、推論1: "あの十二日民集は重合する"が導かれる
3. 事実7から、推論2: "もしあの十二日民集が重合するなら続ける"が導かれる
4. 推論1と推論2から、推論3: "あの十二日民集は続ける"が導かれる
5. 事実11から、推論4: "もし仮に「あの十二日民集はブートする」ということは確かだとすればそれは続けない"が導かれる
6. 事実4と事実6から、推論5: "あの十二日民集はブートする"が導かれる
7. 推論4と推論5から、推論6: "あの十二日民集は続けない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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