そのもちゅもちゃLv.36は包含しない
fact1: 仮になんらかのモンスターが赤くないとするとそれは騙され易くてそれは包含する fact2: もしもそのもちゅもちゃLv.36が包含するしさらにそれが騙され易いとしたらそのもちゅもちゃLv.36は赤くない fact3: そのもちゅもちゃLv.36は甘くないなら「「そのもちょもよLv.35は赤い一方で醜くない」ということは事実と異なる」ということは真実である fact4: 仮に「あのぴのぴゆLv.85は甘い」ということは確かならあのみにゃみいLv.16は甘い fact5: そのもちゅもちゃLv.36は赤い fact6: もし仮に「あるモンスターは赤いけれどそれは醜くない」ということは成り立たないとすると赤くない fact7: 仮にあのみにゃみいLv.16が甘いとしたらそれは赤い
そのもちょもよLv.35は包含する
fact10 -> int1: そのもちょもよLv.35が赤くないとしたらそれは騙され易くて更に包含する; fact8 -> int2: もしも「そのもちょもよLv.35は赤いが醜くない」ということは成り立たないとするとそれは赤いということはない;
$facts$ = fact1: 仮になんらかのモンスターが赤くないとするとそれは騙され易くてそれは包含する fact2: もしもそのもちゅもちゃLv.36が包含するしさらにそれが騙され易いとしたらそのもちゅもちゃLv.36は赤くない fact3: そのもちゅもちゃLv.36は甘くないなら「「そのもちょもよLv.35は赤い一方で醜くない」ということは事実と異なる」ということは真実である fact4: 仮に「あのぴのぴゆLv.85は甘い」ということは確かならあのみにゃみいLv.16は甘い fact5: そのもちゅもちゃLv.36は赤い fact6: もし仮に「あるモンスターは赤いけれどそれは醜くない」ということは成り立たないとすると赤くない fact7: 仮にあのみにゃみいLv.16が甘いとしたらそれは赤い ; $hypothesis$ = そのもちゅもちゃLv.36は包含しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__