このぷわぷのLv.92は忙しなくて劣後する
fact1: いじましくないモンスターは君らしいしかつ気高い fact2: もしこのぷわぷのLv.92が君らしいとするとこのぷわぷのLv.92は忙しない fact3: もしもこのぷわぷのLv.92が保護すればこのぷわぷのLv.92は君らしい fact4: 仮に「このぷわぷのLv.92は保護すらないが引っ立てる」ということは事実と異なるとすればそれは君らしい fact5: そのぽにぽにょLv.14は浸るし更にそれは気高い fact6: 仮にこのぷわぷのLv.92は気高くないならば「保護すし更に引っ立てる」ということは正しくない fact7: 「このぷわぷのLv.92は保護すしそれは引っ立てる」ということは偽だ fact8: このぷわぷのLv.92は気高くない fact9: このぷわぷのLv.92は劣後する fact10: もし仮にこのぷわぷのLv.92は気高くないとすると「保護すということはないがしかし引っ立てる」ということは間違っている
fact8 & fact10 -> int1: 「このぷわぷのLv.92は保護すらない一方で引っ立てる」ということは成り立たない; fact4 & int1 -> int2: このぷわぷのLv.92は君らしい; int2 & fact2 -> int3: このぷわぷのLv.92は忙しない; int3 & fact9 -> hypothesis;
fact8 & fact10 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact4 & int1 -> int2: {B}{a}; int2 & fact2 -> int3: {A}{a}; int3 & fact9 -> hypothesis;
「このぷわぷのLv.92は忙しないしさらにそれは劣後する」ということは成り立たない
fact11 -> int4: 仮にそのみやみにゅLv.80がいじましいということはないならばそのみやみにゅLv.80は君らしいしそれに気高い;
$facts$ = fact1: いじましくないモンスターは君らしいしかつ気高い fact2: もしこのぷわぷのLv.92が君らしいとするとこのぷわぷのLv.92は忙しない fact3: もしもこのぷわぷのLv.92が保護すればこのぷわぷのLv.92は君らしい fact4: 仮に「このぷわぷのLv.92は保護すらないが引っ立てる」ということは事実と異なるとすればそれは君らしい fact5: そのぽにぽにょLv.14は浸るし更にそれは気高い fact6: 仮にこのぷわぷのLv.92は気高くないならば「保護すし更に引っ立てる」ということは正しくない fact7: 「このぷわぷのLv.92は保護すしそれは引っ立てる」ということは偽だ fact8: このぷわぷのLv.92は気高くない fact9: このぷわぷのLv.92は劣後する fact10: もし仮にこのぷわぷのLv.92は気高くないとすると「保護すということはないがしかし引っ立てる」ということは間違っている ; $hypothesis$ = このぷわぷのLv.92は忙しなくて劣後する ; $proof$ = 
fact8 & fact10 -> int1: 「このぷわぷのLv.92は保護すらない一方で引っ立てる」ということは成り立たない; fact4 & int1 -> int2: このぷわぷのLv.92は君らしい; int2 & fact2 -> int3: このぷわぷのLv.92は忙しない; int3 & fact9 -> hypothesis; __PROVED__
fact8 & fact10 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact4 & int1 -> int2: {B}{a}; int2 & fact2 -> int3: {A}{a}; int3 & fact9 -> hypothesis; __PROVED__