「あのぷちゅぷちゃLv.18は手荒くてまた染まる」ということは成り立たない
fact1: 全てのモンスターは正しない fact2: あのぷちゅぷちゃLv.18は染まる fact3: あのぽいぽわLv.34は伴い易い fact4: もしもあのぷちゅぷちゃLv.18は偉いなら「手荒い」ということは事実である fact5: もしもあのぽいぽわLv.34が伴い易いとするとあのぷちゅぷちゃLv.18は偉い
fact5 & fact3 -> int1: あのぷちゅぷちゃLv.18は偉い; int1 & fact4 -> int2: あのぷちゅぷちゃLv.18は手荒い; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
「あのぷちゅぷちゃLv.18は手荒くてまた染まる」ということは成り立たない
fact6 -> int3: あのぽよぽなLv.51は正しない;
$facts$ = fact1: 全てのモンスターは正しない fact2: あのぷちゅぷちゃLv.18は染まる fact3: あのぽいぽわLv.34は伴い易い fact4: もしもあのぷちゅぷちゃLv.18は偉いなら「手荒い」ということは事実である fact5: もしもあのぽいぽわLv.34が伴い易いとするとあのぷちゅぷちゃLv.18は偉い ; $hypothesis$ = 「あのぷちゅぷちゃLv.18は手荒くてまた染まる」ということは成り立たない ; $proof$ = 
fact5 & fact3 -> int1: あのぷちゅぷちゃLv.18は偉い; int1 & fact4 -> int2: あのぷちゅぷちゃLv.18は手荒い; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__