このまにまやLv.70はもみもみする
fact1: もしもこのまにまやLv.70が大差無いとすればこのまにまやLv.70はもみもみする fact2: 仮にこのみちゅみやLv.35が浅しならばこのまにまやLv.70は大差無い fact3: 仮に「あるモンスターはもみもみするけれど浅しない」ということは成り立たないならばそれはもみもみしない fact4: 「あのまにまちょLv.31はすこい」ということは成り立つ fact5: もしもなにがしかのモンスターはすこくないならば「もみもみするししかもそれは浅しない」ということは成り立たない fact6: もしもあのまにまちょLv.31がすこいとすればこのみちゅみやLv.35は浅し fact7: もし仮に「あのまにまちょLv.31はすこくないけど大差無い」ということは偽でないとしたらこのまにまやLv.70はすこくない
fact6 & fact4 -> int1: このみちゅみやLv.35は浅し; int1 & fact2 -> int2: 「このまにまやLv.70は大差無い」ということは成り立つ; int2 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
このまにまやLv.70はもみもみするということはない
fact8 -> int3: もし「このまにまやLv.70はもみもみするけどそれは浅しない」ということは偽ならばこのまにまやLv.70はもみもみしない; fact9 -> int4: もしこのまにまやLv.70はすこくないならば「このまにまやLv.70はもみもみするけれどそれは浅しない」ということは誤りだ;
$facts$ = fact1: もしもこのまにまやLv.70が大差無いとすればこのまにまやLv.70はもみもみする fact2: 仮にこのみちゅみやLv.35が浅しならばこのまにまやLv.70は大差無い fact3: 仮に「あるモンスターはもみもみするけれど浅しない」ということは成り立たないならばそれはもみもみしない fact4: 「あのまにまちょLv.31はすこい」ということは成り立つ fact5: もしもなにがしかのモンスターはすこくないならば「もみもみするししかもそれは浅しない」ということは成り立たない fact6: もしもあのまにまちょLv.31がすこいとすればこのみちゅみやLv.35は浅し fact7: もし仮に「あのまにまちょLv.31はすこくないけど大差無い」ということは偽でないとしたらこのまにまやLv.70はすこくない ; $hypothesis$ = このまにまやLv.70はもみもみする ; $proof$ = 
fact6 & fact4 -> int1: このみちゅみやLv.35は浅し; int1 & fact2 -> int2: 「このまにまやLv.70は大差無い」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __PROVED__