そのまにょまちょLv.45は正しいしまたそれは着せがましい
fact1: 「このもいもにゃLv.49は汚れ難くなくて正しいということはない」ということは成り立たない fact2: それは汚れ難くないししかもひょろ長くないというモンスターはない fact3: もしなにがしかのモンスターが迷い易いということはないならば話し易いけれど正しくない fact4: もし「このもいもにゃLv.49は汚れ難くないしひょろ長くない」ということは成り立たないとすればそのまにょまちょLv.45は着せがましい fact5: そのまにょまちょLv.45は正しい
fact2 -> int1: 「このもいもにゃLv.49は汚れ難くなくて加えてそれはひょろ長いということはない」ということは誤りである; int1 & fact4 -> int2: 「そのまにょまちょLv.45は着せがましい」ということは事実だ; int2 & fact5 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact5 -> hypothesis;
「このみえみわLv.22は引き入れるということはないししかもそれはひょろ長くない」ということは正しくない
fact6 -> int3: そのまにょまちょLv.45が迷い易くないなら話し易いしそれは正しくない;
$facts$ = fact1: 「このもいもにゃLv.49は汚れ難くなくて正しいということはない」ということは成り立たない fact2: それは汚れ難くないししかもひょろ長くないというモンスターはない fact3: もしなにがしかのモンスターが迷い易いということはないならば話し易いけれど正しくない fact4: もし「このもいもにゃLv.49は汚れ難くないしひょろ長くない」ということは成り立たないとすればそのまにょまちょLv.45は着せがましい fact5: そのまにょまちょLv.45は正しい ; $hypothesis$ = そのまにょまちょLv.45は正しいしまたそれは着せがましい ; $proof$ = 
fact2 -> int1: 「このもいもにゃLv.49は汚れ難くなくて加えてそれはひょろ長いということはない」ということは誤りである; int1 & fact4 -> int2: 「そのまにょまちょLv.45は着せがましい」ということは事実だ; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact5 -> hypothesis; __PROVED__