「このぴちゅぴゆLv.47は人恋しくなくてしかもそれは荒々しくない」ということは成り立つということはない
fact1: このぴちゅぴゆLv.47は回りくどい fact2: あるモンスターは回りくどいとしたら「人恋しいということはなくて荒々しくない」ということは成り立たない fact3: もし仮にとあるモンスターが先回りしないとすればそれは回りくどいし更に満了する fact4: 仮に「そのまにゅまちゃLv.15は先回りするけれど重くない」ということは成り立てばこのまえまにゅLv.79は先回りするということはない
fact2 -> int1: もしもこのぴちゅぴゆLv.47は回りくどいとすれば「このぴちゅぴゆLv.47は人恋しくなくて荒々しいということはない」ということは成り立たない; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
このまえまにゅLv.79は回りくどい
fact6 -> int2: このまえまにゅLv.79が先回りしないとしたらこのまえまにゅLv.79は回りくどくてそれは満了する;
$facts$ = fact1: このぴちゅぴゆLv.47は回りくどい fact2: あるモンスターは回りくどいとしたら「人恋しいということはなくて荒々しくない」ということは成り立たない fact3: もし仮にとあるモンスターが先回りしないとすればそれは回りくどいし更に満了する fact4: 仮に「そのまにゅまちゃLv.15は先回りするけれど重くない」ということは成り立てばこのまえまにゅLv.79は先回りするということはない ; $hypothesis$ = 「このぴちゅぴゆLv.47は人恋しくなくてしかもそれは荒々しくない」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: もしもこのぴちゅぴゆLv.47は回りくどいとすれば「このぴちゅぴゆLv.47は人恋しくなくて荒々しいということはない」ということは成り立たない; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __PROVED__