このもいもちゃLv.63は供養しない
fact1: あのぽねぽゆLv.76は恨めしい fact2: あのまわまちゃLv.3は供養する fact3: 涼しいか心憎いか両方ともなモンスターは厳めしかない fact4: あのぽねぽゆLv.76は女っぽくない fact5: もしもこのもいもちゃLv.63が売れるとすれば供養しない fact6: 仮にこのもいもちゃLv.63が行き給うかそれは売れるかあるいは両方であるとすれば「供養しない」ということは事実だ fact7: もしもあのぽねぽゆLv.76が行き給わないとすればこのもいもちゃLv.63は供養するししかも恨めしい fact8: もしあのぽねぽゆLv.76が恨めしいとすればこのもいもちゃLv.63は行き給う
fact8 & fact1 -> int1: このもいもちゃLv.63は行き給う; int1 -> int2: このもいもちゃLv.63は行き給うか売れる; int2 & fact6 -> hypothesis;
fact8 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact6 -> hypothesis;
もしあのぽねぽゆLv.76が涼しいかあるいは心憎いか両方ともであるならばそれは厳めしかない
fact9 -> hypothesis;
$facts$ = fact1: あのぽねぽゆLv.76は恨めしい fact2: あのまわまちゃLv.3は供養する fact3: 涼しいか心憎いか両方ともなモンスターは厳めしかない fact4: あのぽねぽゆLv.76は女っぽくない fact5: もしもこのもいもちゃLv.63が売れるとすれば供養しない fact6: 仮にこのもいもちゃLv.63が行き給うかそれは売れるかあるいは両方であるとすれば「供養しない」ということは事実だ fact7: もしもあのぽねぽゆLv.76が行き給わないとすればこのもいもちゃLv.63は供養するししかも恨めしい fact8: もしあのぽねぽゆLv.76が恨めしいとすればこのもいもちゃLv.63は行き給う ; $hypothesis$ = このもいもちゃLv.63は供養しない ; $proof$ = 
fact8 & fact1 -> int1: このもいもちゃLv.63は行き給う; int1 -> int2: このもいもちゃLv.63は行き給うか売れる; int2 & fact6 -> hypothesis; __PROVED__
fact8 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact6 -> hypothesis; __PROVED__