そのみよみにゃLv.36は奉職する
fact1: 「もしそのまやまにょLv.90が尽くし難いならあのもえもえLv.30は酸くないけれど尽くし難い」ということは間違っていない fact2: 仮にあのもえもえLv.30が図々しいとしたらそのみよみにゃLv.36は奉職する fact3: あのぴちゅぴにゃLv.43が捨て難いならばそれは合わせ易い fact4: もし仮にあのぴちゅぴにゃLv.43が尽くし難いとしたらあのもえもえLv.30は合わせ易い fact5: もし仮にあのぴちゅぴにゃLv.43が合わせ易いならばそのまやまにょLv.90は尽くし難い fact6: あのもえもえLv.30が酸くないけどそれが尽くし難いとしたらそれは図々しい fact7: あのぴちゅぴにゃLv.43は捨て難い
fact3 & fact7 -> int1: 「あのぴちゅぴにゃLv.43は合わせ易い」ということは真実だ; int1 & fact5 -> int2: そのまやまにょLv.90は尽くし難い; int2 & fact1 -> int3: あのもえもえLv.30は酸いということはないが尽くし難い; int3 & fact6 -> int4: あのもえもえLv.30は図々しい; int4 & fact2 -> hypothesis;
fact3 & fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> int3: (¬{E}{c} & {C}{c}); int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「もしそのまやまにょLv.90が尽くし難いならあのもえもえLv.30は酸くないけれど尽くし難い」ということは間違っていない fact2: 仮にあのもえもえLv.30が図々しいとしたらそのみよみにゃLv.36は奉職する fact3: あのぴちゅぴにゃLv.43が捨て難いならばそれは合わせ易い fact4: もし仮にあのぴちゅぴにゃLv.43が尽くし難いとしたらあのもえもえLv.30は合わせ易い fact5: もし仮にあのぴちゅぴにゃLv.43が合わせ易いならばそのまやまにょLv.90は尽くし難い fact6: あのもえもえLv.30が酸くないけどそれが尽くし難いとしたらそれは図々しい fact7: あのぴちゅぴにゃLv.43は捨て難い ; $hypothesis$ = そのみよみにゃLv.36は奉職する ; $proof$ = 
fact3 & fact7 -> int1: 「あのぴちゅぴにゃLv.43は合わせ易い」ということは真実だ; int1 & fact5 -> int2: そのまやまにょLv.90は尽くし難い; int2 & fact1 -> int3: あのもえもえLv.30は酸いということはないが尽くし難い; int3 & fact6 -> int4: あのもえもえLv.30は図々しい; int4 & fact2 -> hypothesis; __PROVED__
fact3 & fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> int3: (¬{E}{c} & {C}{c}); int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis; __PROVED__