「このぽよぽくLv.28は最もらしくない一方でそれは運転し易い」ということは正しくない
fact1: 最もらしいということはなくてかつ運転し易いモンスターはない fact2: 「なにがしかのモンスターは延長出来るがしかし叩かない」ということは事実と異なるとすれば卑し
fact1 -> int1: 最もらしいということはなくてかつ運転し易いモンスターはない; int1 -> hypothesis;
fact1 -> int1: (x): ¬(¬{AA}x & {AB}x); int1 -> hypothesis;
「このぽよぽくLv.28は卑しないけど最もらしい」ということは間違っている
fact3 -> int2: もし「あのぴゆぴちゅLv.7は延長出来るが叩かない」ということは成り立たないとするとあのぴゆぴちゅLv.7は卑し;
$facts$ = fact1: 最もらしいということはなくてかつ運転し易いモンスターはない fact2: 「なにがしかのモンスターは延長出来るがしかし叩かない」ということは事実と異なるとすれば卑し ; $hypothesis$ = 「このぽよぽくLv.28は最もらしくない一方でそれは運転し易い」ということは正しくない ; $proof$ = 
fact1 -> int1: 最もらしいということはなくてかつ運転し易いモンスターはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): ¬(¬{AA}x & {AB}x); int1 -> hypothesis; __PROVED__