このみなみよLv.3は天使らしくない
fact1: すべてのモンスターは天使らしい fact2: すべてのモンスターは位置付く fact3: あらゆるモンスターは性分らしい fact4: あらゆるモンスターは禁じる
fact1 -> int1: すべてのモンスターは天使らしい; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
$facts$ = fact1: すべてのモンスターは天使らしい fact2: すべてのモンスターは位置付く fact3: あらゆるモンスターは性分らしい fact4: あらゆるモンスターは禁じる ; $hypothesis$ = このみなみよLv.3は天使らしくない ; $proof$ = 
fact1 -> int1: すべてのモンスターは天使らしい; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__