そのまえまのLv.61は上がり易くない
fact1: もしもそのまえまのLv.61が答え易いならばそのまえまのLv.61は稽古する fact2: そのまえまのLv.61は答え易くないとしたら「そのまえまのLv.61は使い難くてそれに稽古する」ということは成り立たない fact3: もしも「あのぽねぽにゃLv.47は近付き難いしそれに答え易い」ということは事実と異なるとしたらそのまえまのLv.61は答え易くない fact4: あのぽねぽにゃLv.47は雄々しいかあるいは使い難いかあるいは両方ともである fact5: もしそのまえまのLv.61が稽古すれば近付き難い fact6: あのぽねぽにゃLv.47は描き易い fact7: もしもあのぽねぽにゃLv.47が使い難いとすればそのまえまのLv.61は答え易い fact8: 仮にそのまえまのLv.61が近付き難いとしたらそのまえまのLv.61は上がり易い fact9: そのまえまのLv.61は使い難い fact10: 仮にあのぽねぽにゃLv.47が雄々しいとするとそのまえまのLv.61は答え易い fact11: 仮にあのぽねぽにゃLv.47が答え易いならそれは雄々しい
fact4 & fact10 & fact7 -> int1: 「そのまえまのLv.61は答え易い」ということは確かである; int1 & fact1 -> int2: そのまえまのLv.61は稽古する; int2 & fact5 -> int3: そのまえまのLv.61は近付き難い; int3 & fact8 -> hypothesis;
fact4 & fact10 & fact7 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{c}; int2 & fact5 -> int3: {E}{c}; int3 & fact8 -> hypothesis;
そのまえまのLv.61は上がり易くない
$facts$ = fact1: もしもそのまえまのLv.61が答え易いならばそのまえまのLv.61は稽古する fact2: そのまえまのLv.61は答え易くないとしたら「そのまえまのLv.61は使い難くてそれに稽古する」ということは成り立たない fact3: もしも「あのぽねぽにゃLv.47は近付き難いしそれに答え易い」ということは事実と異なるとしたらそのまえまのLv.61は答え易くない fact4: あのぽねぽにゃLv.47は雄々しいかあるいは使い難いかあるいは両方ともである fact5: もしそのまえまのLv.61が稽古すれば近付き難い fact6: あのぽねぽにゃLv.47は描き易い fact7: もしもあのぽねぽにゃLv.47が使い難いとすればそのまえまのLv.61は答え易い fact8: 仮にそのまえまのLv.61が近付き難いとしたらそのまえまのLv.61は上がり易い fact9: そのまえまのLv.61は使い難い fact10: 仮にあのぽねぽにゃLv.47が雄々しいとするとそのまえまのLv.61は答え易い fact11: 仮にあのぽねぽにゃLv.47が答え易いならそれは雄々しい ; $hypothesis$ = そのまえまのLv.61は上がり易くない ; $proof$ = 
fact4 & fact10 & fact7 -> int1: 「そのまえまのLv.61は答え易い」ということは確かである; int1 & fact1 -> int2: そのまえまのLv.61は稽古する; int2 & fact5 -> int3: そのまえまのLv.61は近付き難い; int3 & fact8 -> hypothesis; __DISPROVED__
fact4 & fact10 & fact7 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{c}; int2 & fact5 -> int3: {E}{c}; int3 & fact8 -> hypothesis; __DISPROVED__