そのぷちょぷちゃLv.31は拭い難くない
fact1: そのみちょみねLv.36は拭い難い fact2: そのぷちょぷちゃLv.31は御付き合い頂くしまた通行する fact3: このもにょもくLv.31は真っ白い fact4: そのぽのぽいLv.73は拭い難い fact5: そのぷちょぷちゃLv.31は出来難いし心優しい fact6: 仮にこのもにょもくLv.31がすごーいならばそのみちょみねLv.36は出来難い fact7: 仮にそのぷちょぷちゃLv.31は知り合いらしいしさらに発揮し難いとしたら拭い難くない fact8: そのぷちょぷちゃLv.31は発揮し難い fact9: このもにょもくLv.31はすごーいし真っ白い fact10: 仮にそのみちょみねLv.36が出来難いならそのぷちょぷちゃLv.31は知り合いらしい
fact9 -> int1: 「このもにょもくLv.31はすごーい」ということは成り立つ; int1 & fact6 -> int2: そのみちょみねLv.36は出来難い; int2 & fact10 -> int3: そのぷちょぷちゃLv.31は知り合いらしい; int3 & fact8 -> int4: そのぷちょぷちゃLv.31は知り合いらしいし発揮し難い; int4 & fact7 -> hypothesis;
fact9 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact10 -> int3: {D}{c}; int3 & fact8 -> int4: ({D}{c} & {E}{c}); int4 & fact7 -> hypothesis;
$facts$ = fact1: そのみちょみねLv.36は拭い難い fact2: そのぷちょぷちゃLv.31は御付き合い頂くしまた通行する fact3: このもにょもくLv.31は真っ白い fact4: そのぽのぽいLv.73は拭い難い fact5: そのぷちょぷちゃLv.31は出来難いし心優しい fact6: 仮にこのもにょもくLv.31がすごーいならばそのみちょみねLv.36は出来難い fact7: 仮にそのぷちょぷちゃLv.31は知り合いらしいしさらに発揮し難いとしたら拭い難くない fact8: そのぷちょぷちゃLv.31は発揮し難い fact9: このもにょもくLv.31はすごーいし真っ白い fact10: 仮にそのみちょみねLv.36が出来難いならそのぷちょぷちゃLv.31は知り合いらしい ; $hypothesis$ = そのぷちょぷちゃLv.31は拭い難くない ; $proof$ = 
fact9 -> int1: 「このもにょもくLv.31はすごーい」ということは成り立つ; int1 & fact6 -> int2: そのみちょみねLv.36は出来難い; int2 & fact10 -> int3: そのぷちょぷちゃLv.31は知り合いらしい; int3 & fact8 -> int4: そのぷちょぷちゃLv.31は知り合いらしいし発揮し難い; int4 & fact7 -> hypothesis; __PROVED__
fact9 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact10 -> int3: {D}{c}; int3 & fact8 -> int4: ({D}{c} & {E}{c}); int4 & fact7 -> hypothesis; __PROVED__