あのぷにぷにゃLv.12は野暮ったくない
fact1: 全てのモンスターは野暮ったい fact2: もし何らかのモンスターが歩き疲れるということはないとするとそれはグルーピングするということはないかあるいはそれは自制出来ない fact3: すべてのモンスターは自制出来る
fact1 -> int1: 全てのモンスターは野暮ったい; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あのぷにぷにゃLv.12は野暮ったくない
fact4 -> int2: もしあのぷにぷにゃLv.12が歩き疲れないとしたらあのぷにぷにゃLv.12はグルーピングしないかまたはそれは自制出来るということはないかまたは両方ともだ;
$facts$ = fact1: 全てのモンスターは野暮ったい fact2: もし何らかのモンスターが歩き疲れるということはないとするとそれはグルーピングするということはないかあるいはそれは自制出来ない fact3: すべてのモンスターは自制出来る ; $hypothesis$ = あのぷにぷにゃLv.12は野暮ったくない ; $proof$ = 
fact1 -> int1: 全てのモンスターは野暮ったい; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__