そのもねもえLv.98は輸出出来ない
fact1: もしもそのもねもえLv.98が慎ましいならこのもちょもゆLv.81は輸出出来る fact2: このもちょもゆLv.81が生臭いとするとこのまゆまにょLv.37は程遠い fact3: このまゆまにょLv.37は程遠いとしたら「このぷえぷやLv.81は罪深い」ということは真実だ fact4: もしもあのみねみにLv.23が輸出出来るし見せては成るとしたらそのもねもえLv.98は輸出出来ない fact5: あのみねみにLv.23は見せては成る fact6: もしこのもちょもゆLv.81が慎ましいとすればそれは生臭い fact7: あのみねみにLv.23が見せては成るとするとこのもちょもゆLv.81は慎ましい fact8: もしこのぷえぷやLv.81が罪深いとすればそのもねもえLv.98は輸出出来る
fact7 & fact5 -> int1: このもちょもゆLv.81は慎ましい; int1 & fact6 -> int2: このもちょもゆLv.81は生臭い; int2 & fact2 -> int3: このまゆまにょLv.37は程遠い; int3 & fact3 -> int4: このぷえぷやLv.81は罪深い; int4 & fact8 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact8 -> hypothesis;
そのもねもえLv.98は輸出出来ない
$facts$ = fact1: もしもそのもねもえLv.98が慎ましいならこのもちょもゆLv.81は輸出出来る fact2: このもちょもゆLv.81が生臭いとするとこのまゆまにょLv.37は程遠い fact3: このまゆまにょLv.37は程遠いとしたら「このぷえぷやLv.81は罪深い」ということは真実だ fact4: もしもあのみねみにLv.23が輸出出来るし見せては成るとしたらそのもねもえLv.98は輸出出来ない fact5: あのみねみにLv.23は見せては成る fact6: もしこのもちょもゆLv.81が慎ましいとすればそれは生臭い fact7: あのみねみにLv.23が見せては成るとするとこのもちょもゆLv.81は慎ましい fact8: もしこのぷえぷやLv.81が罪深いとすればそのもねもえLv.98は輸出出来る ; $hypothesis$ = そのもねもえLv.98は輸出出来ない ; $proof$ = 
fact7 & fact5 -> int1: このもちょもゆLv.81は慎ましい; int1 & fact6 -> int2: このもちょもゆLv.81は生臭い; int2 & fact2 -> int3: このまゆまにょLv.37は程遠い; int3 & fact3 -> int4: このぷえぷやLv.81は罪深い; int4 & fact8 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact8 -> hypothesis; __DISPROVED__