あのもちゃもえLv.78は馴染み深くない
fact1: 仮にあるモンスターが捗々しくないとしたら馴染み深くないししかもそれは懐かしない fact2: すべてのモンスターは馴染み深い fact3: 全てのモンスターは新し fact4: すべてのモンスターは痛ーい
fact2 -> int1: すべてのモンスターは馴染み深い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのもちゃもえLv.78は馴染み深くない
fact5 -> int2: もし仮にあのもちゃもえLv.78が捗々しくないとするとあのもちゃもえLv.78は馴染み深くないし加えて懐かしない;
$facts$ = fact1: 仮にあるモンスターが捗々しくないとしたら馴染み深くないししかもそれは懐かしない fact2: すべてのモンスターは馴染み深い fact3: 全てのモンスターは新し fact4: すべてのモンスターは痛ーい ; $hypothesis$ = あのもちゃもえLv.78は馴染み深くない ; $proof$ = 
fact2 -> int1: すべてのモンスターは馴染み深い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__