このもにゅものLv.37は塩辛い
fact1: あらゆるモンスターは捕まえ易い fact2: もしもこのもにゅものLv.37が紛らわしいとすれば塩辛い fact3: すべてのモンスターは恐ろしくない fact4: このもにゅものLv.37は紛らわしい
fact4 -> int1: このもにゅものLv.37は紛らわしい; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このまくまなLv.28は紛らわしい
fact5 -> int2: このもにゅものLv.37は恐ろしくない; fact6 -> int3: このもにゅものLv.37は捕まえ易い; int2 & int3 -> int4: このもにゅものLv.37は恐ろしくないが捕まえ易い; int4 -> int5: 全てのモンスターは恐ろしいということはなくて捕まえ易い; int5 -> int6: このまくまなLv.28は恐ろしいということはない一方でそれは捕まえ易い;
$facts$ = fact1: あらゆるモンスターは捕まえ易い fact2: もしもこのもにゅものLv.37が紛らわしいとすれば塩辛い fact3: すべてのモンスターは恐ろしくない fact4: このもにゅものLv.37は紛らわしい ; $hypothesis$ = このもにゅものLv.37は塩辛い ; $proof$ = 
fact4 -> int1: このもにゅものLv.37は紛らわしい; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__