「そのぷちゃぷいLv.48は寝かせるしさらに御話し出来る」ということは誤っている
fact1: もし仮に「あるモンスターは止めど無い」ということは確かだとしたら付け加わる fact2: 何らかのモンスターは止めど無くないなら「それは寝かせるしそれは御話し出来る」ということは成り立たない fact3: もし仮にとあるモンスターが御話し出来ないとすると止めど無いしまた寝かせる fact4: もしもあのぴくぴのLv.34が止めど無いとしたらあのぴくぴのLv.34は付け加わる fact5: 「あのもえもえLv.37は付け加わる」ということは事実であるとすればそのぷちゃぷいLv.48は寝かせる fact6: あのもえもえLv.37は止めど無い fact7: そのぷちゃぷいLv.48は御話し出来る
fact1 -> int1: もしもあのもえもえLv.37が止めど無いとするとそれは付け加わる; int1 & fact6 -> int2: あのもえもえLv.37は付け加わる; int2 & fact5 -> int3: そのぷちゃぷいLv.48は寝かせる; int3 & fact7 -> hypothesis;
fact1 -> int1: {A}{aa} -> {C}{aa}; int1 & fact6 -> int2: {C}{aa}; int2 & fact5 -> int3: {B}{a}; int3 & fact7 -> hypothesis;
「そのぷちゃぷいLv.48は寝かせるしさらに御話し出来る」ということは誤っている
fact8 -> int4: そのぷちゃぷいLv.48は止めど無くないとすると「それは寝かせるし御話し出来る」ということは成り立たない;
$facts$ = fact1: もし仮に「あるモンスターは止めど無い」ということは確かだとしたら付け加わる fact2: 何らかのモンスターは止めど無くないなら「それは寝かせるしそれは御話し出来る」ということは成り立たない fact3: もし仮にとあるモンスターが御話し出来ないとすると止めど無いしまた寝かせる fact4: もしもあのぴくぴのLv.34が止めど無いとしたらあのぴくぴのLv.34は付け加わる fact5: 「あのもえもえLv.37は付け加わる」ということは事実であるとすればそのぷちゃぷいLv.48は寝かせる fact6: あのもえもえLv.37は止めど無い fact7: そのぷちゃぷいLv.48は御話し出来る ; $hypothesis$ = 「そのぷちゃぷいLv.48は寝かせるしさらに御話し出来る」ということは誤っている ; $proof$ = 
fact1 -> int1: もしもあのもえもえLv.37が止めど無いとするとそれは付け加わる; int1 & fact6 -> int2: あのもえもえLv.37は付け加わる; int2 & fact5 -> int3: そのぷちゃぷいLv.48は寝かせる; int3 & fact7 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> {C}{aa}; int1 & fact6 -> int2: {C}{aa}; int2 & fact5 -> int3: {B}{a}; int3 & fact7 -> hypothesis; __DISPROVED__