このみわみくLv.40は振り払う
fact1: あのぴよぴのLv.95は得難くて三泊する fact2: 調和し難いモンスターは賛成し難い fact3: もしもそのみちゅみにょLv.17が賛成し難いとすればこのもちょもにゃLv.72は調和し難い fact4: もし仮にあのぴよぴのLv.95が三泊すればあのぷのぷにゃLv.21は敢え無い fact5: もしこのもちょもにゃLv.72が調和し難いとするとこのみわみくLv.40は振り払う fact6: もし仮にあのぴよぴのLv.95が三泊しないとすればこのみわみくLv.40は振り払わないがしかしそれは得難い fact7: もし仮にあのぷのぷにゃLv.21が敢え無いとしたらそのみちゅみにょLv.17は賛成し難い fact8: もしあのぴよぴのLv.95は賛成し難いしおまけに敢え無いならば三泊しない fact9: あのぴよぴのLv.95は得難い
fact1 -> int1: あのぴよぴのLv.95は三泊する; int1 & fact4 -> int2: あのぷのぷにゃLv.21は敢え無い; int2 & fact7 -> int3: そのみちゅみにょLv.17は賛成し難い; int3 & fact3 -> int4: このもちょもにゃLv.72は調和し難い; int4 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact7 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact5 -> hypothesis;
このみわみくLv.40は振り払わない
fact12 -> int5: もしもあのぴよぴのLv.95が調和し難いとしたらあのぴよぴのLv.95は賛成し難い;
$facts$ = fact1: あのぴよぴのLv.95は得難くて三泊する fact2: 調和し難いモンスターは賛成し難い fact3: もしもそのみちゅみにょLv.17が賛成し難いとすればこのもちょもにゃLv.72は調和し難い fact4: もし仮にあのぴよぴのLv.95が三泊すればあのぷのぷにゃLv.21は敢え無い fact5: もしこのもちょもにゃLv.72が調和し難いとするとこのみわみくLv.40は振り払う fact6: もし仮にあのぴよぴのLv.95が三泊しないとすればこのみわみくLv.40は振り払わないがしかしそれは得難い fact7: もし仮にあのぷのぷにゃLv.21が敢え無いとしたらそのみちゅみにょLv.17は賛成し難い fact8: もしあのぴよぴのLv.95は賛成し難いしおまけに敢え無いならば三泊しない fact9: あのぴよぴのLv.95は得難い ; $hypothesis$ = このみわみくLv.40は振り払う ; $proof$ = 
fact1 -> int1: あのぴよぴのLv.95は三泊する; int1 & fact4 -> int2: あのぷのぷにゃLv.21は敢え無い; int2 & fact7 -> int3: そのみちゅみにょLv.17は賛成し難い; int3 & fact3 -> int4: このもちょもにゃLv.72は調和し難い; int4 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact7 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact5 -> hypothesis; __PROVED__