そのみちゃみにゃLv.77は活動し易いか用心深い
fact1: もしもこのもちゅもなLv.19が相応しいとすればそのみちゃみにゃLv.77は用心深い fact2: 仮になんらかのモンスターは当て付けがましかないとすれば「活動し易いかあるいは用心深い」ということは事実でない fact3: もしもあのまいまねLv.27が当て付けがましいならばこのもちゅもなLv.19は相応しい fact4: もしもそのみちゃみにゃLv.77が上り易くないならそのみちゃみにゃLv.77は相応しいということはないかもしくはそれは狭いかあるいはどちらもだ fact5: あのまいまねLv.27は当て付けがましい fact6: 何らかのモンスターは相応しくないか狭いかもしくは両方ともだとすると当て付けがましかない
fact3 & fact5 -> int1: このもちゅもなLv.19は相応しい; int1 & fact1 -> int2: そのみちゃみにゃLv.77は用心深い; int2 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 -> hypothesis;
「そのみちゃみにゃLv.77は活動し易いか用心深いかあるいはどちらもだ」ということは成り立たない
fact8 -> int3: 仮にそのみちゃみにゃLv.77は当て付けがましかないとすれば「そのみちゃみにゃLv.77は活動し易いか用心深い」ということは間違いだ; fact9 -> int4: もしもそのみちゃみにゃLv.77は相応しくないかまたは狭いかもしくは両方ともならばそれは当て付けがましかない;
$facts$ = fact1: もしもこのもちゅもなLv.19が相応しいとすればそのみちゃみにゃLv.77は用心深い fact2: 仮になんらかのモンスターは当て付けがましかないとすれば「活動し易いかあるいは用心深い」ということは事実でない fact3: もしもあのまいまねLv.27が当て付けがましいならばこのもちゅもなLv.19は相応しい fact4: もしもそのみちゃみにゃLv.77が上り易くないならそのみちゃみにゃLv.77は相応しいということはないかもしくはそれは狭いかあるいはどちらもだ fact5: あのまいまねLv.27は当て付けがましい fact6: 何らかのモンスターは相応しくないか狭いかもしくは両方ともだとすると当て付けがましかない ; $hypothesis$ = そのみちゃみにゃLv.77は活動し易いか用心深い ; $proof$ = 
fact3 & fact5 -> int1: このもちゅもなLv.19は相応しい; int1 & fact1 -> int2: そのみちゃみにゃLv.77は用心深い; int2 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 -> hypothesis; __PROVED__