このぽゆぽゆLv.48は手酷いということはない
fact1: もし仮にこのぷのぷねLv.57が任すとするとそのものもにょLv.21は丸い fact2: このぷのぷねLv.57は任す fact3: もしもそのものもにょLv.21が壊れ易いとしたらこのぽゆぽゆLv.48は手酷い fact4: もしそのものもにょLv.21が丸いとすれば壊れ易い
fact1 & fact2 -> int1: そのものもにょLv.21は丸い; int1 & fact4 -> int2: 「そのものもにょLv.21は壊れ易い」ということは正しい; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にこのぷのぷねLv.57が任すとするとそのものもにょLv.21は丸い fact2: このぷのぷねLv.57は任す fact3: もしもそのものもにょLv.21が壊れ易いとしたらこのぽゆぽゆLv.48は手酷い fact4: もしそのものもにょLv.21が丸いとすれば壊れ易い ; $hypothesis$ = このぽゆぽゆLv.48は手酷いということはない ; $proof$ = 
fact1 & fact2 -> int1: そのものもにょLv.21は丸い; int1 & fact4 -> int2: 「そのものもにょLv.21は壊れ易い」ということは正しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__