そのもよもゆLv.96は詰まり易くて合い難い
fact1: もし仮にあのぽなぽのLv.64が掃除し易いとすればあのぽなぽのLv.64は収まる fact2: もし仮にあのぽなぽのLv.64が収まるとするとそのもよもゆLv.96は詰まり易い fact3: 人懐こいモンスターは掃除し易い fact4: あのぴねぴゆLv.49は人懐こい fact5: もし仮にあるモンスターは人懐こくないならば「それは詰まり易いししかも合い難い」ということは真実でない fact6: もしあのぴねぴゆLv.49が人懐こいとするとあのぴねぴゆLv.49は狙われ易い fact7: もし仮に「そのもよもゆLv.96は収まるし詰まり易い」ということは成り立たないならばそれは収まらない fact8: そのもよもゆLv.96は合い難い fact9: もし仮にあのぴねぴゆLv.49が狙われ易いとすればあのぽなぽのLv.64は掃除し易い
fact6 & fact4 -> int1: あのぴねぴゆLv.49は狙われ易い; int1 & fact9 -> int2: あのぽなぽのLv.64は掃除し易い; int2 & fact1 -> int3: あのぽなぽのLv.64は収まる; int3 & fact2 -> int4: 「そのもよもゆLv.96は詰まり易い」ということは事実である; int4 & fact8 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{c}; int4 & fact8 -> hypothesis;
そのもよもゆLv.96は掃除し易い
fact11 -> int5: そのもよもゆLv.96が人懐こいならそのもよもゆLv.96は掃除し易い;
$facts$ = fact1: もし仮にあのぽなぽのLv.64が掃除し易いとすればあのぽなぽのLv.64は収まる fact2: もし仮にあのぽなぽのLv.64が収まるとするとそのもよもゆLv.96は詰まり易い fact3: 人懐こいモンスターは掃除し易い fact4: あのぴねぴゆLv.49は人懐こい fact5: もし仮にあるモンスターは人懐こくないならば「それは詰まり易いししかも合い難い」ということは真実でない fact6: もしあのぴねぴゆLv.49が人懐こいとするとあのぴねぴゆLv.49は狙われ易い fact7: もし仮に「そのもよもゆLv.96は収まるし詰まり易い」ということは成り立たないならばそれは収まらない fact8: そのもよもゆLv.96は合い難い fact9: もし仮にあのぴねぴゆLv.49が狙われ易いとすればあのぽなぽのLv.64は掃除し易い ; $hypothesis$ = そのもよもゆLv.96は詰まり易くて合い難い ; $proof$ = 
fact6 & fact4 -> int1: あのぴねぴゆLv.49は狙われ易い; int1 & fact9 -> int2: あのぽなぽのLv.64は掃除し易い; int2 & fact1 -> int3: あのぽなぽのLv.64は収まる; int3 & fact2 -> int4: 「そのもよもゆLv.96は詰まり易い」ということは事実である; int4 & fact8 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{c}; int4 & fact8 -> hypothesis; __PROVED__