そのまゆまのLv.3は取り掛かり易い
fact1: このぽなぽにょLv.15は煮含める fact2: このぽなぽにょLv.15は欲しい fact3: もし仮にそのまゆまのLv.3が科さないとするとそのまゆまのLv.3は取り掛かり易い fact4: 「このぽなぽにょLv.15は取り掛かり易い」ということは成り立つとしたらこのぽなぽにょLv.15は起き難い fact5: もしこのぽなぽにょLv.15は踏み荒らすとすれば「それは起き難い」ということは成り立つ fact6: もし仮にこのぽなぽにょLv.15が欲しいとすればこのぽなぽにょLv.15は踏み荒らす fact7: もしも「とあるモンスターは取り掛かり易くてそれに欲しい」ということは本当でないとするとそれは取り掛かり易いということはない fact8: そのまゆまのLv.3は煮含める fact9: もしこのぽなぽにょLv.15が起き難くてまた煮含めるとしたらそのまゆまのLv.3は科すということはない fact10: 仮に「このぽなぽにょLv.15は取り掛かり易いかもしくは欲しくないか両方だ」ということは事実でないとするとそのまゆまのLv.3は取り掛かり易いということはない
fact6 & fact2 -> int1: このぽなぽにょLv.15は踏み荒らす; int1 & fact5 -> int2: このぽなぽにょLv.15は起き難い; int2 & fact1 -> int3: このぽなぽにょLv.15は起き難くてそれは煮含める; int3 & fact9 -> int4: そのまゆまのLv.3は科さない; int4 & fact3 -> hypothesis;
fact6 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> int3: ({C}{a} & {D}{a}); int3 & fact9 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis;
そのまゆまのLv.3は取り掛かり易くない
$facts$ = fact1: このぽなぽにょLv.15は煮含める fact2: このぽなぽにょLv.15は欲しい fact3: もし仮にそのまゆまのLv.3が科さないとするとそのまゆまのLv.3は取り掛かり易い fact4: 「このぽなぽにょLv.15は取り掛かり易い」ということは成り立つとしたらこのぽなぽにょLv.15は起き難い fact5: もしこのぽなぽにょLv.15は踏み荒らすとすれば「それは起き難い」ということは成り立つ fact6: もし仮にこのぽなぽにょLv.15が欲しいとすればこのぽなぽにょLv.15は踏み荒らす fact7: もしも「とあるモンスターは取り掛かり易くてそれに欲しい」ということは本当でないとするとそれは取り掛かり易いということはない fact8: そのまゆまのLv.3は煮含める fact9: もしこのぽなぽにょLv.15が起き難くてまた煮含めるとしたらそのまゆまのLv.3は科すということはない fact10: 仮に「このぽなぽにょLv.15は取り掛かり易いかもしくは欲しくないか両方だ」ということは事実でないとするとそのまゆまのLv.3は取り掛かり易いということはない ; $hypothesis$ = そのまゆまのLv.3は取り掛かり易い ; $proof$ = 
fact6 & fact2 -> int1: このぽなぽにょLv.15は踏み荒らす; int1 & fact5 -> int2: このぽなぽにょLv.15は起き難い; int2 & fact1 -> int3: このぽなぽにょLv.15は起き難くてそれは煮含める; int3 & fact9 -> int4: そのまゆまのLv.3は科さない; int4 & fact3 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> int3: ({C}{a} & {D}{a}); int3 & fact9 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis; __PROVED__