あのぷゆぷにゃLv.86は貧しい
fact1: 仮にあのぷゆぷにゃLv.86が表現し切れるならあのぷゆぷにゃLv.86は貧しい fact2: 話し難くてみみっちくないモンスターは汚らしい fact3: あのぷゆぷにゃLv.86は水っぽい一方で遅くない fact4: あのぷちょぷわLv.64は話し難い fact5: あのぽちょぽくLv.0は落っこちなくておまけにそれは無毒化しない fact6: あのぽちょぽくLv.0は表現し切れるということはないし早くない fact7: もし仮にあのぽちょぽくLv.0が汚らしいとしたらあのぷゆぷにゃLv.86は借り易いということはなくて汚らしいということはない fact8: もし仮にあのぷゆぷにゃLv.86は借り易くなくて加えて汚らしくないとしたら表現し切れる fact9: 「あのぽちょぽくLv.0は話し難いけれどみみっちくない」ということは事実である
fact2 -> int1: もしもあのぽちょぽくLv.0は話し難い一方でみみっちくないとすればそれは汚らしい; int1 & fact9 -> int2: あのぽちょぽくLv.0は汚らしい; int2 & fact7 -> int3: あのぷゆぷにゃLv.86は借り易くなくてその上汚らしいということはない; int3 & fact8 -> int4: あのぷゆぷにゃLv.86は表現し切れる; int4 & fact1 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact9 -> int2: {B}{aa}; int2 & fact7 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact8 -> int4: {A}{a}; int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのぷゆぷにゃLv.86が表現し切れるならあのぷゆぷにゃLv.86は貧しい fact2: 話し難くてみみっちくないモンスターは汚らしい fact3: あのぷゆぷにゃLv.86は水っぽい一方で遅くない fact4: あのぷちょぷわLv.64は話し難い fact5: あのぽちょぽくLv.0は落っこちなくておまけにそれは無毒化しない fact6: あのぽちょぽくLv.0は表現し切れるということはないし早くない fact7: もし仮にあのぽちょぽくLv.0が汚らしいとしたらあのぷゆぷにゃLv.86は借り易いということはなくて汚らしいということはない fact8: もし仮にあのぷゆぷにゃLv.86は借り易くなくて加えて汚らしくないとしたら表現し切れる fact9: 「あのぽちょぽくLv.0は話し難いけれどみみっちくない」ということは事実である ; $hypothesis$ = あのぷゆぷにゃLv.86は貧しい ; $proof$ = 
fact2 -> int1: もしもあのぽちょぽくLv.0は話し難い一方でみみっちくないとすればそれは汚らしい; int1 & fact9 -> int2: あのぽちょぽくLv.0は汚らしい; int2 & fact7 -> int3: あのぷゆぷにゃLv.86は借り易くなくてその上汚らしいということはない; int3 & fact8 -> int4: あのぷゆぷにゃLv.86は表現し切れる; int4 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact9 -> int2: {B}{aa}; int2 & fact7 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact8 -> int4: {A}{a}; int4 & fact1 -> hypothesis; __PROVED__