この将棋は話し辛くない
fact1: もし何らかの物が重たいかカルミアであるかあるいは両方であるならば大人っぽいということはない fact2: あの助様はカルミアであるかまたはそれは話し辛い fact3: もしも「大人っぽくない」ものがあるならこの将棋は話し辛くて加えて愉楽だ fact4: 重たいものは大人っぽくない fact5: もしも「あの助様は大人っぽい」ということは成り立つとしたらそれはカルミアだということはないか愉楽でないかあるいは両方ともだ fact6: 仮に「この諸論は大人っぽいけど削れない」ということは成り立たないとするとこの亜硝酸は大人っぽいということはない fact7: なにかはカルミアでないかあるいは愉楽でないかもしくは両方ともであるならばあの姉妹共存巣はカルミアでない fact8: もし仮にこの亜硝酸が愉楽でかつ重たいならばあの助様は重たくない fact9: 仮にこの将棋が大人っぽいとしたら話し辛くない fact10: この将棋は知識無しだ fact11: あの助様はカルミアである fact12: もしとあるものが大人っぽくないとしたらそれは愉楽であるし重たい fact13: 大人っぽくないものがあるとするとこの将棋は愉楽だ fact14: もしあの助様は大人っぽいとすると「それは愉楽でない」ということは成り立つ fact15: 仮にとある物は削れれば「大人っぽい」ということは成り立つ fact16: なんらかの物は大人っぽい
fact11 -> int1: あの助様は重たいかもしくはそれはカルミアであるかどちらもだ; fact1 -> int2: もし仮にあの助様は重たいかまたはカルミアであるか両方であるとしたら「それは大人っぽくない」ということは正しい; int1 & int2 -> int3: あの助様は大人っぽくない; int3 -> int4: 「大人っぽくない」物はある; int4 & fact3 -> int5: この将棋は話し辛くて加えて愉楽だ; int5 -> hypothesis;
この将棋は話し辛いということはない
fact17 -> int6: もしこの亜硝酸が大人っぽくないならそれは愉楽であるしかつ重たい;
$facts$ = fact1: もし何らかの物が重たいかカルミアであるかあるいは両方であるならば大人っぽいということはない fact2: あの助様はカルミアであるかまたはそれは話し辛い fact3: もしも「大人っぽくない」ものがあるならこの将棋は話し辛くて加えて愉楽だ fact4: 重たいものは大人っぽくない fact5: もしも「あの助様は大人っぽい」ということは成り立つとしたらそれはカルミアだということはないか愉楽でないかあるいは両方ともだ fact6: 仮に「この諸論は大人っぽいけど削れない」ということは成り立たないとするとこの亜硝酸は大人っぽいということはない fact7: なにかはカルミアでないかあるいは愉楽でないかもしくは両方ともであるならばあの姉妹共存巣はカルミアでない fact8: もし仮にこの亜硝酸が愉楽でかつ重たいならばあの助様は重たくない fact9: 仮にこの将棋が大人っぽいとしたら話し辛くない fact10: この将棋は知識無しだ fact11: あの助様はカルミアである fact12: もしとあるものが大人っぽくないとしたらそれは愉楽であるし重たい fact13: 大人っぽくないものがあるとするとこの将棋は愉楽だ fact14: もしあの助様は大人っぽいとすると「それは愉楽でない」ということは成り立つ fact15: 仮にとある物は削れれば「大人っぽい」ということは成り立つ fact16: なんらかの物は大人っぽい ; $hypothesis$ = この将棋は話し辛くない ; $proof$ = 
fact11 -> int1: あの助様は重たいかもしくはそれはカルミアであるかどちらもだ; fact1 -> int2: もし仮にあの助様は重たいかまたはカルミアであるか両方であるとしたら「それは大人っぽくない」ということは正しい; int1 & int2 -> int3: あの助様は大人っぽくない; int3 -> int4: 「大人っぽくない」物はある; int4 & fact3 -> int5: この将棋は話し辛くて加えて愉楽だ; int5 -> hypothesis; __DISPROVED__
事実1: もし何らかの物が重たいかカルミアであるかあるいは両方であるならば大人っぽいということはない
事実2: あの助様はカルミアであるかまたはそれは話し辛い
事実3: もしも「大人っぽくない」ものがあるならこの将棋は話し辛くて加えて愉楽だ
事実4: 重たいものは大人っぽくない
事実5: もしも「あの助様は大人っぽい」ということは成り立つとしたらそれはカルミアだということはないか愉楽でないかあるいは両方ともだ
事実6: 仮に「この諸論は大人っぽいけど削れない」ということは成り立たないとするとこの亜硝酸は大人っぽいということはない
事実7: なにかはカルミアでないかあるいは愉楽でないかもしくは両方ともであるならばあの姉妹共存巣はカルミアでない
事実8: もし仮にこの亜硝酸が愉楽でかつ重たいならばあの助様は重たくない
事実9: 仮にこの将棋が大人っぽいとしたら話し辛くない
事実10: この将棋は知識無しだ
事実11: あの助様はカルミアである
事実12: もしとあるものが大人っぽくないとしたらそれは愉楽であるし重たい
事実13: 大人っぽくないものがあるとするとこの将棋は愉楽だ
事実14: もしあの助様は大人っぽいとすると「それは愉楽でない」ということは成り立つ
事実15: 仮にとある物は削れれば「大人っぽい」ということは成り立つ
事実16: なんらかの物は大人っぽい

仮説: この将棋は話し辛くない
1. 事実11から、推論1: "あの助様は重たいかもしくはそれはカルミアであるかどちらもだ"が導かれる
2. 事実1から、推論2: "もし仮にあの助様は重たいかまたはカルミアであるか両方であるとしたら「それは大人っぽくない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "あの助様は大人っぽくない"が導かれる
4. 推論3から、推論4: "「大人っぽくない」物はある"が導かれる
5. 推論4と事実3から、推論5: "この将棋は話し辛くて加えて愉楽だ"が導かれる
6. 推論5から、仮説が否定される

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