このまちゃまわLv.1はいがらっぽいかあるいは来易い
fact1: このまちゃまわLv.1は免れ難い fact2: もしもあるモンスターは班給するとすれば「それは来易い」ということは確かだ fact3: もしとあるモンスターは免れ難くないとすれば「いがらっぽいかもしくはそれは来易いか両方である」ということは成り立たない fact4: 全てのモンスターは吸収され易い fact5: このぴわぴにゃLv.78が吸収され易いということはないならこのぴわぴにゃLv.78は班給するしおまけにそれは目新しい fact6: 来易いモンスターは免れ難い fact7: もしこのまちゃまわLv.1が免れ難いならばこのまちゃまわLv.1は来易い
fact7 & fact1 -> int1: このまちゃまわLv.1は来易い; int1 -> hypothesis;
fact7 & fact1 -> int1: {B}{a}; int1 -> hypothesis;
このぴわぴにゃLv.78はいがらっぽい
fact9 -> int2: もしこのぴわぴにゃLv.78が来易いならこのぴわぴにゃLv.78は免れ難い; fact8 -> int3: もしこのぴわぴにゃLv.78は班給するとすれば「このぴわぴにゃLv.78は来易い」ということは正しい;
$facts$ = fact1: このまちゃまわLv.1は免れ難い fact2: もしもあるモンスターは班給するとすれば「それは来易い」ということは確かだ fact3: もしとあるモンスターは免れ難くないとすれば「いがらっぽいかもしくはそれは来易いか両方である」ということは成り立たない fact4: 全てのモンスターは吸収され易い fact5: このぴわぴにゃLv.78が吸収され易いということはないならこのぴわぴにゃLv.78は班給するしおまけにそれは目新しい fact6: 来易いモンスターは免れ難い fact7: もしこのまちゃまわLv.1が免れ難いならばこのまちゃまわLv.1は来易い ; $hypothesis$ = このまちゃまわLv.1はいがらっぽいかあるいは来易い ; $proof$ = 
fact7 & fact1 -> int1: このまちゃまわLv.1は来易い; int1 -> hypothesis; __PROVED__
fact7 & fact1 -> int1: {B}{a}; int1 -> hypothesis; __PROVED__