あるモンスターは賢しいかまたは臭いかまたは両方ともである
fact1: もしもこのみわみにょLv.41が詮無いならこのみわみにょLv.41は由々しいかもしくは臭いということはない fact2: このみわみにょLv.41は黄色っぽいし更に牽引する fact3: もし仮にこのみわみにょLv.41が臭くないとしたらあのみちゅみにょLv.69は賢しくない fact4: もしもこのまねまねLv.31は水臭いとしたら「このみにゅみちゃLv.52は賢しい」ということは成り立つ fact5: もしもとあるモンスターが牽引するとしたらそれは黄色っぽい fact6: このみわみにょLv.41は黄色っぽい fact7: もしこのみわみにょLv.41が牽引するとすればこのまねまねLv.31は水臭い fact8: 仮にこのみわみにょLv.41が由々しいかまたはそれは臭くないかまたは両方ならば臭くない
fact2 -> int1: このみわみにょLv.41は牽引する; int1 & fact7 -> int2: このまねまねLv.31は水臭い; int2 & fact4 -> int3: このみにゅみちゃLv.52は賢しい; int3 -> int4: このみにゅみちゃLv.52は賢しいかもしくは臭い; int4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis;
あのみちゅみにょLv.69は黄色っぽい
fact9 -> int5: もしも「あのみちゅみにょLv.69は牽引する」ということは事実ならあのみちゅみにょLv.69は黄色っぽい;
$facts$ = fact1: もしもこのみわみにょLv.41が詮無いならこのみわみにょLv.41は由々しいかもしくは臭いということはない fact2: このみわみにょLv.41は黄色っぽいし更に牽引する fact3: もし仮にこのみわみにょLv.41が臭くないとしたらあのみちゅみにょLv.69は賢しくない fact4: もしもこのまねまねLv.31は水臭いとしたら「このみにゅみちゃLv.52は賢しい」ということは成り立つ fact5: もしもとあるモンスターが牽引するとしたらそれは黄色っぽい fact6: このみわみにょLv.41は黄色っぽい fact7: もしこのみわみにょLv.41が牽引するとすればこのまねまねLv.31は水臭い fact8: 仮にこのみわみにょLv.41が由々しいかまたはそれは臭くないかまたは両方ならば臭くない ; $hypothesis$ = あるモンスターは賢しいかまたは臭いかまたは両方ともである ; $proof$ = 
fact2 -> int1: このみわみにょLv.41は牽引する; int1 & fact7 -> int2: このまねまねLv.31は水臭い; int2 & fact4 -> int3: このみにゅみちゃLv.52は賢しい; int3 -> int4: このみにゅみちゃLv.52は賢しいかもしくは臭い; int4 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis; __PROVED__