このぷちょぷいLv.71は結合し易いということはないしさらに御強請りしない
fact1: もし仮に「あのぽわぽにゃLv.71は利き難い」ということは事実であるならそれは御強請りする fact2: あらゆるモンスターは若し fact3: 仮にあのぽわぽにゃLv.71が余所余所しいとするとあのぽわぽにゃLv.71は利き難い fact4: そのぽえぽえLv.35は破り捨てるかもしくはそれは癒し難い fact5: 「なんらかのモンスターは癒し難い一方で利き難くない」ということは誤っているなら癒し難くない fact6: そのぽえぽえLv.35が癒し難いとしたらあのぽわぽにゃLv.71は余所余所しい fact7: 仮にとあるモンスターは破り捨てないとすれば「結合し易くなくてまたそれは御強請りしない」ということは成り立たない fact8: もし「そのぽえぽえLv.35は破り捨てる」ということは確かならあのぽわぽにゃLv.71は余所余所しい
fact4 & fact8 & fact6 -> int1: あのぽわぽにゃLv.71は余所余所しい; int1 & fact3 -> int2: 「あのぽわぽにゃLv.71は利き難い」ということは正しい; int2 & fact1 -> int3: あのぽわぽにゃLv.71は御強請りする;
fact4 & fact8 & fact6 -> int1: {C}{c}; int1 & fact3 -> int2: {D}{c}; int2 & fact1 -> int3: {E}{c};
「このぷちょぷいLv.71は結合し易くないしそれは御強請りしない」ということは間違っている
fact9 -> int4: もし「このぷちょぷいLv.71は破り捨てない」ということは真実だとすれば「このぷちょぷいLv.71は結合し易くないし御強請りするということはない」ということは間違っている; fact11 -> int5: もし仮に「このぷちょぷいLv.71は癒し難いけど利き難くない」ということは偽であるとすると「このぷちょぷいLv.71は癒し難くない」ということは確かだ; fact10 -> int6: そのみなみわLv.5は若し;
$facts$ = fact1: もし仮に「あのぽわぽにゃLv.71は利き難い」ということは事実であるならそれは御強請りする fact2: あらゆるモンスターは若し fact3: 仮にあのぽわぽにゃLv.71が余所余所しいとするとあのぽわぽにゃLv.71は利き難い fact4: そのぽえぽえLv.35は破り捨てるかもしくはそれは癒し難い fact5: 「なんらかのモンスターは癒し難い一方で利き難くない」ということは誤っているなら癒し難くない fact6: そのぽえぽえLv.35が癒し難いとしたらあのぽわぽにゃLv.71は余所余所しい fact7: 仮にとあるモンスターは破り捨てないとすれば「結合し易くなくてまたそれは御強請りしない」ということは成り立たない fact8: もし「そのぽえぽえLv.35は破り捨てる」ということは確かならあのぽわぽにゃLv.71は余所余所しい ; $hypothesis$ = このぷちょぷいLv.71は結合し易いということはないしさらに御強請りしない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__