この畜産はゆらゆらしない
fact1: 仮にこのエシャロットゥが汚辱だとするとこの畜産は烏滸がましかない fact2: 仮にこのエシャロットゥがゆらゆらすればこの畜産は汚辱でない fact3: もしこのエシャロットゥが烏滸がましいとするとこの畜産は汚辱でない fact4: その制限時間は汚辱だ fact5: このエシャロットゥはゆらゆらする fact6: この畜産は若者らしい fact7: もしこの三振がゆらゆらするとするとこの畜産は烏滸がましかない fact8: この三振は烏滸がましい fact9: この三振はゆらゆらしない fact10: 烏滸がましいということはない物はゆらゆらしない fact11: この畜産が汚辱ならばこのエシャロットゥはゆらゆらしない fact12: もしもこの三振が烏滸がましいとするとこのエシャロットゥは汚辱でない fact13: もし仮にこのエシャロットゥが烏滸がましいとしたらこの三振は汚辱でない fact14: あのアジア・アフリカ諸国は汚辱だ fact15: この三振は突き立つということはない fact16: あの父性は烏滸がましい fact17: このコスト低減は烏滸がましかない fact18: このエシャロットゥが汚辱でないとしたらこの畜産はゆらゆらする
fact12 & fact8 -> int1: このエシャロットゥは汚辱でない; int1 & fact18 -> hypothesis;
fact12 & fact8 -> int1: ¬{B}{b}; int1 & fact18 -> hypothesis;
この畜産はゆらゆらするということはない
fact19 -> int2: 仮にこの畜産が烏滸がましくらないとするとそれはゆらゆらするということはない;
$facts$ = fact1: 仮にこのエシャロットゥが汚辱だとするとこの畜産は烏滸がましかない fact2: 仮にこのエシャロットゥがゆらゆらすればこの畜産は汚辱でない fact3: もしこのエシャロットゥが烏滸がましいとするとこの畜産は汚辱でない fact4: その制限時間は汚辱だ fact5: このエシャロットゥはゆらゆらする fact6: この畜産は若者らしい fact7: もしこの三振がゆらゆらするとするとこの畜産は烏滸がましかない fact8: この三振は烏滸がましい fact9: この三振はゆらゆらしない fact10: 烏滸がましいということはない物はゆらゆらしない fact11: この畜産が汚辱ならばこのエシャロットゥはゆらゆらしない fact12: もしもこの三振が烏滸がましいとするとこのエシャロットゥは汚辱でない fact13: もし仮にこのエシャロットゥが烏滸がましいとしたらこの三振は汚辱でない fact14: あのアジア・アフリカ諸国は汚辱だ fact15: この三振は突き立つということはない fact16: あの父性は烏滸がましい fact17: このコスト低減は烏滸がましかない fact18: このエシャロットゥが汚辱でないとしたらこの畜産はゆらゆらする ; $hypothesis$ = この畜産はゆらゆらしない ; $proof$ = 
fact12 & fact8 -> int1: このエシャロットゥは汚辱でない; int1 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮にこのエシャロットゥが汚辱だとするとこの畜産は烏滸がましかない
事実2: 仮にこのエシャロットゥがゆらゆらすればこの畜産は汚辱でない
事実3: もしこのエシャロットゥが烏滸がましいとするとこの畜産は汚辱でない
事実4: その制限時間は汚辱だ
事実5: このエシャロットゥはゆらゆらする
事実6: この畜産は若者らしい
事実7: もしこの三振がゆらゆらするとするとこの畜産は烏滸がましかない
事実8: この三振は烏滸がましい
事実9: この三振はゆらゆらしない
事実10: 烏滸がましいということはない物はゆらゆらしない
事実11: この畜産が汚辱ならばこのエシャロットゥはゆらゆらしない
事実12: もしもこの三振が烏滸がましいとするとこのエシャロットゥは汚辱でない
事実13: もし仮にこのエシャロットゥが烏滸がましいとしたらこの三振は汚辱でない
事実14: あのアジア・アフリカ諸国は汚辱だ
事実15: この三振は突き立つということはない
事実16: あの父性は烏滸がましい
事実17: このコスト低減は烏滸がましかない
事実18: このエシャロットゥが汚辱でないとしたらこの畜産はゆらゆらする

仮説: この畜産はゆらゆらしない
1. 事実12と事実8から、推論1: "このエシャロットゥは汚辱でない"が導かれる
2. 推論1と事実18から、仮説が否定される

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