あのぷちゅぷにょLv.59は騙され易くない
fact1: 手早いししかも微笑ましくないというモンスターはない fact2: あのぷちゅぷにょLv.59が通じ易いならそれは騙され易い fact3: 「あのぷちゅぷにょLv.59は手早い一方でそれは微笑ましくない」ということは成り立たないならば通じ易い
fact1 -> int1: 「あのぷちゅぷにょLv.59は手早いけれど微笑ましくない」ということは誤りである; int1 & fact3 -> int2: あのぷちゅぷにょLv.59は通じ易い; int2 & fact2 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: {A}{aa}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 手早いししかも微笑ましくないというモンスターはない fact2: あのぷちゅぷにょLv.59が通じ易いならそれは騙され易い fact3: 「あのぷちゅぷにょLv.59は手早い一方でそれは微笑ましくない」ということは成り立たないならば通じ易い ; $hypothesis$ = あのぷちゅぷにょLv.59は騙され易くない ; $proof$ = 
fact1 -> int1: 「あのぷちゅぷにょLv.59は手早いけれど微笑ましくない」ということは誤りである; int1 & fact3 -> int2: あのぷちゅぷにょLv.59は通じ易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: {A}{aa}; int2 & fact2 -> hypothesis; __DISPROVED__