このぽやぽのLv.34は点滴静注する
fact1: そのみくみちゃLv.32は青っぽくてさらに薄暗い fact2: もし仮にそのみくみちゃLv.32がせこいなら管理し易い fact3: このぽやぽのLv.34が素晴らしいとすればこのぽやぽのLv.34は泳げる fact4: そのみくみちゃLv.32が薄暗くなくてそれが点滴静注しないならこのまくまにょLv.7は点滴静注する fact5: 薄暗くないモンスターは青っぽいかまたは点滴静注するということはないかもしくは両方だ fact6: もし仮にそのみくみちゃLv.32が管理し易いとすればこのぽやぽのLv.34は御忙しい fact7: もし仮にこのぽやぽのLv.34が御忙しいならば点滴静注する fact8: あのぽなぽえLv.12は管理し易くないなら「そのみくみちゃLv.32は薄暗いしせこい」ということは間違いである fact9: もしも「そのみくみちゃLv.32は薄暗い」ということは事実であるとしたらそのみくみちゃLv.32はせこい
fact1 -> int1: そのみくみちゃLv.32は薄暗い; int1 & fact9 -> int2: そのみくみちゃLv.32はせこい; int2 & fact2 -> int3: 「そのみくみちゃLv.32は管理し易い」ということは本当である; int3 & fact6 -> int4: このぽやぽのLv.34は御忙しい; int4 & fact7 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact6 -> int4: {E}{b}; int4 & fact7 -> hypothesis;
このまくまにょLv.7は点滴静注する
$facts$ = fact1: そのみくみちゃLv.32は青っぽくてさらに薄暗い fact2: もし仮にそのみくみちゃLv.32がせこいなら管理し易い fact3: このぽやぽのLv.34が素晴らしいとすればこのぽやぽのLv.34は泳げる fact4: そのみくみちゃLv.32が薄暗くなくてそれが点滴静注しないならこのまくまにょLv.7は点滴静注する fact5: 薄暗くないモンスターは青っぽいかまたは点滴静注するということはないかもしくは両方だ fact6: もし仮にそのみくみちゃLv.32が管理し易いとすればこのぽやぽのLv.34は御忙しい fact7: もし仮にこのぽやぽのLv.34が御忙しいならば点滴静注する fact8: あのぽなぽえLv.12は管理し易くないなら「そのみくみちゃLv.32は薄暗いしせこい」ということは間違いである fact9: もしも「そのみくみちゃLv.32は薄暗い」ということは事実であるとしたらそのみくみちゃLv.32はせこい ; $hypothesis$ = このぽやぽのLv.34は点滴静注する ; $proof$ = 
fact1 -> int1: そのみくみちゃLv.32は薄暗い; int1 & fact9 -> int2: そのみくみちゃLv.32はせこい; int2 & fact2 -> int3: 「そのみくみちゃLv.32は管理し易い」ということは本当である; int3 & fact6 -> int4: このぽやぽのLv.34は御忙しい; int4 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact6 -> int4: {E}{b}; int4 & fact7 -> hypothesis; __PROVED__