あのまいまのLv.78は粘っこい
fact1: 「「あのまいまのLv.78は心地良くないけれど入れ易い」ということは成り立つ」ということは間違いだ fact2: 「なんらかのモンスターは心地良くないけど入れ易い」ということは誤りだとすると粘っこい fact3: もし仮になんらかのモンスターが決断出来ないとすると濃縮する fact4: もしもあのまいまのLv.78が入れ易いということはないならばそれは出難い
fact2 -> int1: 「あのまいまのLv.78は心地良くないけど入れ易い」ということは誤りであるとするとあのまいまのLv.78は粘っこい; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 「「あのまいまのLv.78は心地良くないけれど入れ易い」ということは成り立つ」ということは間違いだ fact2: 「なんらかのモンスターは心地良くないけど入れ易い」ということは誤りだとすると粘っこい fact3: もし仮になんらかのモンスターが決断出来ないとすると濃縮する fact4: もしもあのまいまのLv.78が入れ易いということはないならばそれは出難い ; $hypothesis$ = あのまいまのLv.78は粘っこい ; $proof$ = 
fact2 -> int1: 「あのまいまのLv.78は心地良くないけど入れ易い」ということは誤りであるとするとあのまいまのLv.78は粘っこい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> hypothesis; __PROVED__