あのぷにゃぷやLv.56は誘発し易くない
fact1: 何らかのモンスターは忘れっぽくないならば「それは無理無くないがしかし誘発し易い」ということは成り立たない fact2: もしもそのぽやぽなLv.42が無理無くないけど忘れっぽいとするとあのぷにゃぷやLv.56は誘発し易くない fact3: もしも「「とあるモンスターは無理無くないけど誘発し易い」ということは正しい」ということは成り立たないならば誘発し易くない fact4: もしもそのぽやぽなLv.42が忘れっぽいしその上誘発し易いとするとあのぷにゃぷやLv.56は無理無くない fact5: 全てのモンスターが無理無いということはないしその上忘れっぽい
fact5 -> int1: そのぽやぽなLv.42は無理無くないがそれは忘れっぽい; int1 & fact2 -> hypothesis;
fact5 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact2 -> hypothesis;
あのまにゅまにゃLv.95は誘発し易くない
fact6 -> int2: もし仮に「あのまにゅまにゃLv.95は無理無くないけれど誘発し易い」ということは成り立たないとしたら誘発し易くない; fact7 -> int3: 「あのまにゅまにゃLv.95は忘れっぽくないなら「あのまにゅまにゃLv.95は無理無くないが誘発し易い」ということは成り立たない」ということは正しい;
$facts$ = fact1: 何らかのモンスターは忘れっぽくないならば「それは無理無くないがしかし誘発し易い」ということは成り立たない fact2: もしもそのぽやぽなLv.42が無理無くないけど忘れっぽいとするとあのぷにゃぷやLv.56は誘発し易くない fact3: もしも「「とあるモンスターは無理無くないけど誘発し易い」ということは正しい」ということは成り立たないならば誘発し易くない fact4: もしもそのぽやぽなLv.42が忘れっぽいしその上誘発し易いとするとあのぷにゃぷやLv.56は無理無くない fact5: 全てのモンスターが無理無いということはないしその上忘れっぽい ; $hypothesis$ = あのぷにゃぷやLv.56は誘発し易くない ; $proof$ = 
fact5 -> int1: そのぽやぽなLv.42は無理無くないがそれは忘れっぽい; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact2 -> hypothesis; __PROVED__