このぴにぴにょLv.53はしどけなくない
fact1: すべてのモンスターはしどけない fact2: 悲しないし気怠くらないモンスターはない
fact1 -> int1: すべてのモンスターはしどけない; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは凭れ掛かる
fact3 -> int2: 「このぴにぴにょLv.53は悲しないし加えて気怠くらない」ということは間違いだ;
$facts$ = fact1: すべてのモンスターはしどけない fact2: 悲しないし気怠くらないモンスターはない ; $hypothesis$ = このぴにぴにょLv.53はしどけなくない ; $proof$ = 
fact1 -> int1: すべてのモンスターはしどけない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__