「そのもよもやLv.83はいじましい」ということは真実である
fact1: もしもあのもよもちゃLv.41が簒奪するとすればそのもよもやLv.83はいじましい fact2: このみにょみくLv.5は遣り易い fact3: 仮にこのみにょみくLv.5が遣り易くてかつ広しならばこのまねまにLv.24は気付き難くない fact4: 仮にこのまねまにLv.24が気付き難くないならばあのもよもちゃLv.41は気付き難くて更に簒奪する fact5: このみにょみくLv.5は広し fact6: もしもこのみにょみくLv.5が遣り易くてかついじましいとするとそのもよもやLv.83はいじましくない
fact2 & fact5 -> int1: このみにょみくLv.5は遣り易くて広し; int1 & fact3 -> int2: 「このまねまにLv.24は気付き難いということはない」ということは事実である; int2 & fact4 -> int3: あのもよもちゃLv.41は気付き難いし加えて簒奪する; int3 -> int4: あのもよもちゃLv.41は簒奪する; int4 & fact1 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: ({C}{c} & {D}{c}); int3 -> int4: {D}{c}; int4 & fact1 -> hypothesis;
「そのもよもやLv.83はいじましい」ということは事実であるということはない
$facts$ = fact1: もしもあのもよもちゃLv.41が簒奪するとすればそのもよもやLv.83はいじましい fact2: このみにょみくLv.5は遣り易い fact3: 仮にこのみにょみくLv.5が遣り易くてかつ広しならばこのまねまにLv.24は気付き難くない fact4: 仮にこのまねまにLv.24が気付き難くないならばあのもよもちゃLv.41は気付き難くて更に簒奪する fact5: このみにょみくLv.5は広し fact6: もしもこのみにょみくLv.5が遣り易くてかついじましいとするとそのもよもやLv.83はいじましくない ; $hypothesis$ = 「そのもよもやLv.83はいじましい」ということは真実である ; $proof$ = 
fact2 & fact5 -> int1: このみにょみくLv.5は遣り易くて広し; int1 & fact3 -> int2: 「このまねまにLv.24は気付き難いということはない」ということは事実である; int2 & fact4 -> int3: あのもよもちゃLv.41は気付き難いし加えて簒奪する; int3 -> int4: あのもよもちゃLv.41は簒奪する; int4 & fact1 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: ({C}{c} & {D}{c}); int3 -> int4: {D}{c}; int4 & fact1 -> hypothesis; __PROVED__