あのまにゃまねLv.90は御長ける
fact1: 「とあるモンスターが起き難くないならそれは平ったいしさらに御長ける」ということは事実である fact2: もし「「錆無いかあるいは再発し易くない」ということは成り立たない」モンスターがいればそのぴのぴなLv.62は再発し易くない fact3: そのまわまなLv.0は起き難い fact4: あのまにゃまねLv.90は起き難くない fact5: 「「錆無いか再発し易くない」ということは成り立たない」モンスターはいる
fact1 -> int1: もし仮にあのまにゃまねLv.90が起き難いということはないとすると平ったいし御長ける; int1 & fact4 -> int2: あのまにゃまねLv.90は平ったいし御長ける; int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
「そのぽねぽにょLv.13は御長けるしその上細長い」ということは正しい
fact7 & fact6 -> int3: そのぴのぴなLv.62は再発し易くない; int3 -> int4: 「再発し易くない」モンスターはいる;
$facts$ = fact1: 「とあるモンスターが起き難くないならそれは平ったいしさらに御長ける」ということは事実である fact2: もし「「錆無いかあるいは再発し易くない」ということは成り立たない」モンスターがいればそのぴのぴなLv.62は再発し易くない fact3: そのまわまなLv.0は起き難い fact4: あのまにゃまねLv.90は起き難くない fact5: 「「錆無いか再発し易くない」ということは成り立たない」モンスターはいる ; $hypothesis$ = あのまにゃまねLv.90は御長ける ; $proof$ = 
fact1 -> int1: もし仮にあのまにゃまねLv.90が起き難いということはないとすると平ったいし御長ける; int1 & fact4 -> int2: あのまにゃまねLv.90は平ったいし御長ける; int2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __PROVED__