あのものもにゃLv.95は生み易い
fact1: 「仮にあのものもにゃLv.95は働き難いとしたら「あのものもにゃLv.95は生み易くない」ということは間違いである」ということは成り立つ fact2: あのものもにゃLv.95は薬臭い fact3: すべてのモンスターは掛かり易い fact4: 「もし仮にあのものもにゃLv.95が薬臭いとしたらあのものもにゃLv.95は働き難い」ということは誤りでない fact5: あのぴわぴくLv.2は薬臭い fact6: あのまよまのLv.32は掛かり易くて加えてキータイプする
fact4 & fact2 -> int1: あのものもにゃLv.95は働き難い; int1 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのぽやぽなLv.61は生み易い
fact7 -> int2: あのものもにゃLv.95は掛かり易い;
$facts$ = fact1: 「仮にあのものもにゃLv.95は働き難いとしたら「あのものもにゃLv.95は生み易くない」ということは間違いである」ということは成り立つ fact2: あのものもにゃLv.95は薬臭い fact3: すべてのモンスターは掛かり易い fact4: 「もし仮にあのものもにゃLv.95が薬臭いとしたらあのものもにゃLv.95は働き難い」ということは誤りでない fact5: あのぴわぴくLv.2は薬臭い fact6: あのまよまのLv.32は掛かり易くて加えてキータイプする ; $hypothesis$ = あのものもにゃLv.95は生み易い ; $proof$ = 
fact4 & fact2 -> int1: あのものもにゃLv.95は働き難い; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__