このまいまねLv.39は目覚ましくない
fact1: 御安くないモンスターは目覚ましいし恙無い fact2: 全てのモンスターは目覚ましい
fact2 -> int1: 全てのモンスターは目覚ましい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは恙無い
fact3 -> int2: 仮にあのぴいぴねLv.4が御安くないとすると目覚ましくておまけに恙無い;
$facts$ = fact1: 御安くないモンスターは目覚ましいし恙無い fact2: 全てのモンスターは目覚ましい ; $hypothesis$ = このまいまねLv.39は目覚ましくない ; $proof$ = 
fact2 -> int1: 全てのモンスターは目覚ましい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__