「あのぴのぴわLv.23は行い易いしそれは伴い易い」ということは間違いである
fact1: もし「あのもえもゆLv.14は攻め始めるということはない」ということは事実だとすればあのぴのぴわLv.23は出し難くてそれは入城する fact2: 「「太刀打ち出来る一方で丸っこくない」モンスターはいる」ということは本当である fact3: もし仮にあのぴのぴわLv.23が出し難いとしたら行い易い fact4: もしも「太刀打ち出来るししかも丸っこくない」モンスターがいるとするとあのもえもゆLv.14は攻め始めるということはない fact5: 「太刀打ち出来る」モンスターはいる
fact2 & fact4 -> int1: あのもえもゆLv.14は攻め始めない; int1 & fact1 -> int2: あのぴのぴわLv.23は出し難いしおまけに入城する; int2 -> int3: あのぴのぴわLv.23は出し難い; int3 & fact3 -> int4: あのぴのぴわLv.23は行い易い;
fact2 & fact4 -> int1: ¬{C}{a}; int1 & fact1 -> int2: ({E}{b} & {D}{b}); int2 -> int3: {E}{b}; int3 & fact3 -> int4: {F}{b};
$facts$ = fact1: もし「あのもえもゆLv.14は攻め始めるということはない」ということは事実だとすればあのぴのぴわLv.23は出し難くてそれは入城する fact2: 「「太刀打ち出来る一方で丸っこくない」モンスターはいる」ということは本当である fact3: もし仮にあのぴのぴわLv.23が出し難いとしたら行い易い fact4: もしも「太刀打ち出来るししかも丸っこくない」モンスターがいるとするとあのもえもゆLv.14は攻め始めるということはない fact5: 「太刀打ち出来る」モンスターはいる ; $hypothesis$ = 「あのぴのぴわLv.23は行い易いしそれは伴い易い」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__