このもねもなLv.49は柔いけれどそれはかわゆいということはない
fact1: このぴくぴゆLv.92は益無ししどうしても欲しい fact2: もしこのぴくぴゆLv.92が益無しし更にそれがどうしても欲しいなら柔くない fact3: 「すべてのモンスターは把握し易い」ということは確かだ fact4: 把握し易いモンスターは引き出し易くないし加えて目敏くない fact5: このぴくぴゆLv.92が柔くないとしたらこのもねもなLv.49は柔いがかわゆくない fact6: もし仮にこのもねもなLv.49が引き出し易いということはないしまたそれが目敏くないとしたら打ち消し合わない
fact2 & fact1 -> int1: このぴくぴゆLv.92は柔くない; int1 & fact5 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
「このもねもなLv.49は柔いけれどかわゆくない」ということは間違いである
fact9 -> int2: このぴくぴゆLv.92が把握し易いとすると引き出し易いということはなくてまた目敏くない; fact7 -> int3: このぴくぴゆLv.92は把握し易い; int2 & int3 -> int4: このぴくぴゆLv.92は引き出し易くないしそれは目敏くない; int4 -> int5: 全てのモンスターは引き出し易くなくて目敏くない; int5 -> int6: このもねもなLv.49は引き出し易くないしそれに目敏くない; fact8 & int6 -> int7: このもねもなLv.49は打ち消し合わない;
$facts$ = fact1: このぴくぴゆLv.92は益無ししどうしても欲しい fact2: もしこのぴくぴゆLv.92が益無しし更にそれがどうしても欲しいなら柔くない fact3: 「すべてのモンスターは把握し易い」ということは確かだ fact4: 把握し易いモンスターは引き出し易くないし加えて目敏くない fact5: このぴくぴゆLv.92が柔くないとしたらこのもねもなLv.49は柔いがかわゆくない fact6: もし仮にこのもねもなLv.49が引き出し易いということはないしまたそれが目敏くないとしたら打ち消し合わない ; $hypothesis$ = このもねもなLv.49は柔いけれどそれはかわゆいということはない ; $proof$ = 
fact2 & fact1 -> int1: このぴくぴゆLv.92は柔くない; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis; __PROVED__