「あのもよもえLv.86は捕らえ難くない」ということは真実だ
fact1: 欲しくないモンスターは済ま無いし買い易い fact2: 仮にそのまにゅまちょLv.34が着火するならそれは築き難い fact3: もし仮にそのまにゅまちょLv.34が長ーいとしたらそのまにゅまちょLv.34は済ま無い fact4: そのまにゅまちょLv.34が築き難いとすると長ーい fact5: そのまにゅまちょLv.34は着火する fact6: 仮にそのまにゅまちょLv.34が済ま無くておまけに買い易いとしたらあのもよもえLv.86は捕らえ難くない fact7: 仮に何らかのモンスターが着火するなら捕らえ難い fact8: もしもこのまにゃまにゃLv.49は築き難くないならば「そのまにゅまちょLv.34は長ーいがしかしそれは着火するということはない」ということは成り立たない fact9: もし仮にあのみにゃみなLv.11が済ま無いならばこのまにゃまにゃLv.49は築き難くない fact10: そのまにゅまちょLv.34は買い易い
fact2 & fact5 -> int1: そのまにゅまちょLv.34は築き難い; int1 & fact4 -> int2: そのまにゅまちょLv.34は長ーい; int2 & fact3 -> int3: そのまにゅまちょLv.34は済ま無い; int3 & fact10 -> int4: そのまにゅまちょLv.34は済ま無いしおまけに買い易い; int4 & fact6 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a}; int3 & fact10 -> int4: ({D}{a} & {E}{a}); int4 & fact6 -> hypothesis;
あのもよもえLv.86は捕らえ難い
fact11 -> int5: あのもよもえLv.86が着火すれば捕らえ難い; fact12 -> int6: もしもあのみにゃみなLv.11が欲しくないならばあのみにゃみなLv.11は済ま無くてまたそれは買い易い;
$facts$ = fact1: 欲しくないモンスターは済ま無いし買い易い fact2: 仮にそのまにゅまちょLv.34が着火するならそれは築き難い fact3: もし仮にそのまにゅまちょLv.34が長ーいとしたらそのまにゅまちょLv.34は済ま無い fact4: そのまにゅまちょLv.34が築き難いとすると長ーい fact5: そのまにゅまちょLv.34は着火する fact6: 仮にそのまにゅまちょLv.34が済ま無くておまけに買い易いとしたらあのもよもえLv.86は捕らえ難くない fact7: 仮に何らかのモンスターが着火するなら捕らえ難い fact8: もしもこのまにゃまにゃLv.49は築き難くないならば「そのまにゅまちょLv.34は長ーいがしかしそれは着火するということはない」ということは成り立たない fact9: もし仮にあのみにゃみなLv.11が済ま無いならばこのまにゃまにゃLv.49は築き難くない fact10: そのまにゅまちょLv.34は買い易い ; $hypothesis$ = 「あのもよもえLv.86は捕らえ難くない」ということは真実だ ; $proof$ = 
fact2 & fact5 -> int1: そのまにゅまちょLv.34は築き難い; int1 & fact4 -> int2: そのまにゅまちょLv.34は長ーい; int2 & fact3 -> int3: そのまにゅまちょLv.34は済ま無い; int3 & fact10 -> int4: そのまにゅまちょLv.34は済ま無いしおまけに買い易い; int4 & fact6 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a}; int3 & fact10 -> int4: ({D}{a} & {E}{a}); int4 & fact6 -> hypothesis; __PROVED__