そのみわみにLv.60は当て込まない
fact1: 「そのみにょみえLv.94は揮発し易い」ということは真実である fact2: もしもあのぴゆぴよLv.56が早しとしたらそのみにょみえLv.94は渡欧する fact3: そのみにょみえLv.94が渡欧するしそれに揮発し易いとすればそのみわみにLv.60は当て込まない fact4: もし仮にあのぴゆぴよLv.56が渡欧しないとしたらそのみわみにLv.60は忘れっぽくてさらに早し fact5: あのぴゆぴよLv.56は忘れっぽいかもしくは早し fact6: 仮にあのぴゆぴよLv.56は忘れっぽいとしたら「そのみにょみえLv.94は渡欧する」ということは成り立つ fact7: 忘れっぽいモンスターは当て込む
fact5 & fact6 & fact2 -> int1: そのみにょみえLv.94は渡欧する; int1 & fact1 -> int2: そのみにょみえLv.94は渡欧するしそれに揮発し易い; int2 & fact3 -> hypothesis;
fact5 & fact6 & fact2 -> int1: {C}{c}; int1 & fact1 -> int2: ({C}{c} & {D}{c}); int2 & fact3 -> hypothesis;
「そのみわみにLv.60は当て込む」ということは本当である
fact9 -> int3: 「そのみわみにLv.60は忘れっぽい」ということは成り立つとするとそのみわみにLv.60は当て込む;
$facts$ = fact1: 「そのみにょみえLv.94は揮発し易い」ということは真実である fact2: もしもあのぴゆぴよLv.56が早しとしたらそのみにょみえLv.94は渡欧する fact3: そのみにょみえLv.94が渡欧するしそれに揮発し易いとすればそのみわみにLv.60は当て込まない fact4: もし仮にあのぴゆぴよLv.56が渡欧しないとしたらそのみわみにLv.60は忘れっぽくてさらに早し fact5: あのぴゆぴよLv.56は忘れっぽいかもしくは早し fact6: 仮にあのぴゆぴよLv.56は忘れっぽいとしたら「そのみにょみえLv.94は渡欧する」ということは成り立つ fact7: 忘れっぽいモンスターは当て込む ; $hypothesis$ = そのみわみにLv.60は当て込まない ; $proof$ = 
fact5 & fact6 & fact2 -> int1: そのみにょみえLv.94は渡欧する; int1 & fact1 -> int2: そのみにょみえLv.94は渡欧するしそれに揮発し易い; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact6 & fact2 -> int1: {C}{c}; int1 & fact1 -> int2: ({C}{c} & {D}{c}); int2 & fact3 -> hypothesis; __PROVED__