このみえみにょLv.21は混同し易くない
fact1: このみえみにょLv.21は捕食する fact2: あのぽやぽちょLv.76は寄付するし着せがましい fact3: 仮にこのみえみにょLv.21がせこいとしたらあのぽわぽにゃLv.47は素人っぽい fact4: もしこのみえみにょLv.21が短いしそれにそれが捕食するならこのみえみにょLv.21は混同し易くない fact5: 「全てのモンスターはせこいかあるいはそれは起草する」ということは確かだ fact6: 仮にあのぽわぽにゃLv.47が捕食するしせこいならあのぽわぽにゃLv.47は起草しない fact7: 仮にあのぽわぽにゃLv.47が起草するとすればこのみえみにょLv.21は素人っぽい fact8: もし仮にこのみえみにょLv.21が素人っぽいならばこのみえみにょLv.21は短い fact9: 仮にあのぽわぽにゃLv.47がせこいならこのみえみにょLv.21は素人っぽい fact10: もしもあのぽわぽにゃLv.47が捕食するとすればこのみえみにょLv.21は起草する fact11: もしもあのまいまにLv.64が素人っぽくないとすればあのまいまにLv.64はせこいしそれは起草する
fact5 -> int1: あのぽわぽにゃLv.47はせこいか起草するかもしくはどちらもだ; int1 & fact9 & fact7 -> int2: 「このみえみにょLv.21は素人っぽい」ということは成り立つ; int2 & fact8 -> int3: このみえみにょLv.21は短い; int3 & fact1 -> int4: このみえみにょLv.21は短くて捕食する; int4 & fact4 -> hypothesis;
fact5 -> int1: ({A}{aa} v {B}{aa}); int1 & fact9 & fact7 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{a}; int3 & fact1 -> int4: ({D}{a} & {E}{a}); int4 & fact4 -> hypothesis;
このみえみにょLv.21は混同し易い
$facts$ = fact1: このみえみにょLv.21は捕食する fact2: あのぽやぽちょLv.76は寄付するし着せがましい fact3: 仮にこのみえみにょLv.21がせこいとしたらあのぽわぽにゃLv.47は素人っぽい fact4: もしこのみえみにょLv.21が短いしそれにそれが捕食するならこのみえみにょLv.21は混同し易くない fact5: 「全てのモンスターはせこいかあるいはそれは起草する」ということは確かだ fact6: 仮にあのぽわぽにゃLv.47が捕食するしせこいならあのぽわぽにゃLv.47は起草しない fact7: 仮にあのぽわぽにゃLv.47が起草するとすればこのみえみにょLv.21は素人っぽい fact8: もし仮にこのみえみにょLv.21が素人っぽいならばこのみえみにょLv.21は短い fact9: 仮にあのぽわぽにゃLv.47がせこいならこのみえみにょLv.21は素人っぽい fact10: もしもあのぽわぽにゃLv.47が捕食するとすればこのみえみにょLv.21は起草する fact11: もしもあのまいまにLv.64が素人っぽくないとすればあのまいまにLv.64はせこいしそれは起草する ; $hypothesis$ = このみえみにょLv.21は混同し易くない ; $proof$ = 
fact5 -> int1: あのぽわぽにゃLv.47はせこいか起草するかもしくはどちらもだ; int1 & fact9 & fact7 -> int2: 「このみえみにょLv.21は素人っぽい」ということは成り立つ; int2 & fact8 -> int3: このみえみにょLv.21は短い; int3 & fact1 -> int4: このみえみにょLv.21は短くて捕食する; int4 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{aa} v {B}{aa}); int1 & fact9 & fact7 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{a}; int3 & fact1 -> int4: ({D}{a} & {E}{a}); int4 & fact4 -> hypothesis; __PROVED__