このぽいぽわLv.99は灰色っぽくない
fact1: なんらかのモンスターが座り込むということはないならばそれはべた付き易くてさらに相成る fact2: もしもあるモンスターは成り兼ねないとすれば「見え易いし更に灰色っぽい」ということは確かでない fact3: もし仮に「そのぽわぽのLv.42は見え易いし成り兼ねる」ということは成り立たないとすればこのぽいぽわLv.99は灰色っぽくない fact4: そのぽわぽのLv.42はネイティブらしいということはない fact5: もし仮にこのぽいぽわLv.99がネイティブらしくないならばそのぽわぽのLv.42は灰色っぽくない fact6: もしもなにがしかのモンスターはネイティブらしくないならば「見え易いしそれは成り兼ねる」ということは事実でない fact7: もしあるモンスターが相成るなら灰色っぽいがネイティブらしくない
fact6 -> int1: 仮にそのぽわぽのLv.42はネイティブらしくないならば「そのぽわぽのLv.42は見え易いしかつそれは成り兼ねる」ということは成り立たない; int1 & fact4 -> int2: 「そのぽわぽのLv.42は見え易いし更に成り兼ねる」ということは間違っている; int2 & fact3 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis;
そのまちょまねLv.69は見え易くない
fact9 -> int3: 仮にこのぽいぽわLv.99が相成るとすればそれは灰色っぽくてネイティブらしくない; fact8 -> int4: 「このぽねぽなLv.71が座り込まないとするとこのぽねぽなLv.71はべた付き易いしさらにそれは相成る」ということは事実である;
$facts$ = fact1: なんらかのモンスターが座り込むということはないならばそれはべた付き易くてさらに相成る fact2: もしもあるモンスターは成り兼ねないとすれば「見え易いし更に灰色っぽい」ということは確かでない fact3: もし仮に「そのぽわぽのLv.42は見え易いし成り兼ねる」ということは成り立たないとすればこのぽいぽわLv.99は灰色っぽくない fact4: そのぽわぽのLv.42はネイティブらしいということはない fact5: もし仮にこのぽいぽわLv.99がネイティブらしくないならばそのぽわぽのLv.42は灰色っぽくない fact6: もしもなにがしかのモンスターはネイティブらしくないならば「見え易いしそれは成り兼ねる」ということは事実でない fact7: もしあるモンスターが相成るなら灰色っぽいがネイティブらしくない ; $hypothesis$ = このぽいぽわLv.99は灰色っぽくない ; $proof$ = 
fact6 -> int1: 仮にそのぽわぽのLv.42はネイティブらしくないならば「そのぽわぽのLv.42は見え易いしかつそれは成り兼ねる」ということは成り立たない; int1 & fact4 -> int2: 「そのぽわぽのLv.42は見え易いし更に成り兼ねる」ということは間違っている; int2 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__