この弱い者苛めは仕切り直すということはない
fact1: もしなんらかの物が口さがないなら子供らしいしそれにそれは仕切り直さない fact2: もし何らかのものが子供らしくないとしたらこの弱い者苛めが口さはなくないし吹き易くない fact3: 迷い易くないか観察しないかどちらもだというものはない fact4: 何かは頂点数でないとしたらそれは仕切り直さない fact5: 「「子供らしくない」ということは成り立つ」ものはある fact6: もしあるものが口さはなくなくて加えて吹き易くないならば仕切り直す fact7: 左右され易いということはないしそれに訝しい物は暗転する fact8: もし「とあるものは迷い易くないか観察しないか両方だ」ということは間違っていればそれは吹き易くない
fact5 & fact2 -> int1: この弱い者苛めが口さはなくないし吹き易くない; fact6 -> int2: もしもこの弱い者苛めが口さがなくなくておまけに吹き易くないならば「仕切り直す」ということは正しい; int1 & int2 -> hypothesis;
この弱い者苛めは仕切り直さない
fact9 -> int3: 「もし仮にこの弱い者苛めが口さがないとすればこの弱い者苛めは子供らしいけど仕切り直さない」ということは事実だ;
$facts$ = fact1: もしなんらかの物が口さがないなら子供らしいしそれにそれは仕切り直さない fact2: もし何らかのものが子供らしくないとしたらこの弱い者苛めが口さはなくないし吹き易くない fact3: 迷い易くないか観察しないかどちらもだというものはない fact4: 何かは頂点数でないとしたらそれは仕切り直さない fact5: 「「子供らしくない」ということは成り立つ」ものはある fact6: もしあるものが口さはなくなくて加えて吹き易くないならば仕切り直す fact7: 左右され易いということはないしそれに訝しい物は暗転する fact8: もし「とあるものは迷い易くないか観察しないか両方だ」ということは間違っていればそれは吹き易くない ; $hypothesis$ = この弱い者苛めは仕切り直すということはない ; $proof$ = 
fact5 & fact2 -> int1: この弱い者苛めが口さはなくないし吹き易くない; fact6 -> int2: もしもこの弱い者苛めが口さがなくなくておまけに吹き易くないならば「仕切り直す」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が口さがないなら子供らしいしそれにそれは仕切り直さない
事実2: もし何らかのものが子供らしくないとしたらこの弱い者苛めが口さはなくないし吹き易くない
事実3: 迷い易くないか観察しないかどちらもだというものはない
事実4: 何かは頂点数でないとしたらそれは仕切り直さない
事実5: 「「子供らしくない」ということは成り立つ」ものはある
事実6: もしあるものが口さはなくなくて加えて吹き易くないならば仕切り直す
事実7: 左右され易いということはないしそれに訝しい物は暗転する
事実8: もし「とあるものは迷い易くないか観察しないか両方だ」ということは間違っていればそれは吹き易くない

仮説: この弱い者苛めは仕切り直すということはない
1. 事実5と事実2から、推論1: "この弱い者苛めが口さはなくないし吹き易くない"が導かれる
2. 事実6から、推論2: "もしもこの弱い者苛めが口さがなくなくておまけに吹き易くないならば「仕切り直す」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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