あのまえまくLv.72は拡大解釈しない
fact1: もし仮にあのぷのぷやLv.60が著しいならばそのもくもにゃLv.37はすばしっこい fact2: もしもそのもくもにゃLv.37がすばしっこいならばあのまえまくLv.72は拡大解釈する fact3: もしとあるモンスターは現われ難くないとしたら「すばしっこいし加えてだらし無い」ということは偽である fact4: もしもあのまえまくLv.72がだらし無くないならあのぷのぷやLv.60は拡大解釈するしさらに著しい fact5: あのぷのぷやLv.60がだらし無いならばそのもくもにゃLv.37はすばしっこい fact6: あのぷのぷやLv.60は著しいかあるいはだらし無い
fact6 & fact1 & fact5 -> int1: そのもくもにゃLv.37はすばしっこい; int1 & fact2 -> hypothesis;
fact6 & fact1 & fact5 -> int1: {C}{c}; int1 & fact2 -> hypothesis;
あのぷのぷやLv.60は拡大解釈する
fact7 -> int2: もしも「そのもくもにゃLv.37は現われ難くない」ということは真実だとしたら「それはすばしっこいしだらし無い」ということは成り立たない;
$facts$ = fact1: もし仮にあのぷのぷやLv.60が著しいならばそのもくもにゃLv.37はすばしっこい fact2: もしもそのもくもにゃLv.37がすばしっこいならばあのまえまくLv.72は拡大解釈する fact3: もしとあるモンスターは現われ難くないとしたら「すばしっこいし加えてだらし無い」ということは偽である fact4: もしもあのまえまくLv.72がだらし無くないならあのぷのぷやLv.60は拡大解釈するしさらに著しい fact5: あのぷのぷやLv.60がだらし無いならばそのもくもにゃLv.37はすばしっこい fact6: あのぷのぷやLv.60は著しいかあるいはだらし無い ; $hypothesis$ = あのまえまくLv.72は拡大解釈しない ; $proof$ = 
fact6 & fact1 & fact5 -> int1: そのもくもにゃLv.37はすばしっこい; int1 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact1 & fact5 -> int1: {C}{c}; int1 & fact2 -> hypothesis; __DISPROVED__