あのもちょもやLv.66は理解し辛くない
fact1: そのもよもちゃLv.97は興味深いしおまけにそれは増え難い fact2: 仮にそのもよもちゃLv.97がそびれるしおまけにそれが腹立たしいとすればあのもちょもやLv.66は理解し辛くない fact3: 興味深いモンスターは理解し辛い fact4: そのもよもちゃLv.97は腹立たしい fact5: 「もしそのもよもちゃLv.97が興味深いし加えて理解し辛いとしたらあのもちょもやLv.66は増え難くない」ということは本当だ fact6: もしそのもよもちゃLv.97が興味深いとしたらそれはそびれる
fact1 -> int1: そのもよもちゃLv.97は興味深い; int1 & fact6 -> int2: 「そのもよもちゃLv.97はそびれる」ということは偽でない; int2 & fact4 -> int3: そのもよもちゃLv.97がそびれるしその上腹立たしい; int3 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> int3: ({C}{a} & {D}{a}); int3 & fact2 -> hypothesis;
あのもちょもやLv.66は理解し辛い
fact7 -> int4: もしあのもちょもやLv.66が興味深いとすればそれは理解し辛い;
$facts$ = fact1: そのもよもちゃLv.97は興味深いしおまけにそれは増え難い fact2: 仮にそのもよもちゃLv.97がそびれるしおまけにそれが腹立たしいとすればあのもちょもやLv.66は理解し辛くない fact3: 興味深いモンスターは理解し辛い fact4: そのもよもちゃLv.97は腹立たしい fact5: 「もしそのもよもちゃLv.97が興味深いし加えて理解し辛いとしたらあのもちょもやLv.66は増え難くない」ということは本当だ fact6: もしそのもよもちゃLv.97が興味深いとしたらそれはそびれる ; $hypothesis$ = あのもちょもやLv.66は理解し辛くない ; $proof$ = 
fact1 -> int1: そのもよもちゃLv.97は興味深い; int1 & fact6 -> int2: 「そのもよもちゃLv.97はそびれる」ということは偽でない; int2 & fact4 -> int3: そのもよもちゃLv.97がそびれるしその上腹立たしい; int3 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> int3: ({C}{a} & {D}{a}); int3 & fact2 -> hypothesis; __PROVED__