あのまのまのLv.17は笑い過ぎる
fact1: 如此しないモンスターはとろくなくて笑い過ぎない fact2: あらゆるモンスターは笑い過ぎる fact3: 悲しくないモンスターはとろくて如此し fact4: 「あのまのまのLv.17はとろい」ということは本当だとするとあのもよもにゅLv.41は笑い過ぎる
fact2 -> int1: あらゆるモンスターは笑い過ぎる; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのまのまのLv.17は笑い過ぎるということはない
fact5 -> int2: もしもあのまのまのLv.17が如此しということはないとすればそれはとろくなくて笑い過ぎない;
$facts$ = fact1: 如此しないモンスターはとろくなくて笑い過ぎない fact2: あらゆるモンスターは笑い過ぎる fact3: 悲しくないモンスターはとろくて如此し fact4: 「あのまのまのLv.17はとろい」ということは本当だとするとあのもよもにゅLv.41は笑い過ぎる ; $hypothesis$ = あのまのまのLv.17は笑い過ぎる ; $proof$ = 
fact2 -> int1: あらゆるモンスターは笑い過ぎる; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__