あのまちょまわLv.45は行き難くない
fact1: 麗しくてかつ気高しモンスターはない fact2: 「そのぽよぽちょLv.30は麗しいということはないけど任せ切る」ということは成り立つということはない fact3: もしもそのみよみちゃLv.97が行き難いならばそのぴのぴちゃLv.37は麗しくない fact4: 麗しくないしそれに気高しというモンスターはない fact5: もし「あのまちょまわLv.45は麗しくないけれど気高し」ということは正しくないなら「行き難くない」ということは成り立つ
fact4 -> int1: 「あのまちょまわLv.45は麗しくないがしかし気高し」ということは誤りだ; int1 & fact5 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact5 -> hypothesis;
そのぴのぴちゃLv.37は麗しくない
$facts$ = fact1: 麗しくてかつ気高しモンスターはない fact2: 「そのぽよぽちょLv.30は麗しいということはないけど任せ切る」ということは成り立つということはない fact3: もしもそのみよみちゃLv.97が行き難いならばそのぴのぴちゃLv.37は麗しくない fact4: 麗しくないしそれに気高しというモンスターはない fact5: もし「あのまちょまわLv.45は麗しくないけれど気高し」ということは正しくないなら「行き難くない」ということは成り立つ ; $hypothesis$ = あのまちょまわLv.45は行き難くない ; $proof$ = 
fact4 -> int1: 「あのまちょまわLv.45は麗しくないがしかし気高し」ということは誤りだ; int1 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact5 -> hypothesis; __PROVED__