あのぷのぷのLv.64は聞きしない
fact1: そのまちょまにゃLv.33は解け易い fact2: もしも「このみいみちゃLv.48は由々し」ということは確かであるとすればあのぷのぷのLv.64は聞きする fact3: そのまちょまにゃLv.33が解け易いならばこのみいみちゃLv.48は接近し易い fact4: もしもそのまちょまにゃLv.33が接近し易いとすると解け易い fact5: もしこのみいみちゃLv.48が接近し易いとしたら由々し
fact3 & fact1 -> int1: このみいみちゃLv.48は接近し易い; int1 & fact5 -> int2: このみいみちゃLv.48は由々し; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのまちょまにゃLv.33は解け易い fact2: もしも「このみいみちゃLv.48は由々し」ということは確かであるとすればあのぷのぷのLv.64は聞きする fact3: そのまちょまにゃLv.33が解け易いならばこのみいみちゃLv.48は接近し易い fact4: もしもそのまちょまにゃLv.33が接近し易いとすると解け易い fact5: もしこのみいみちゃLv.48が接近し易いとしたら由々し ; $hypothesis$ = あのぷのぷのLv.64は聞きしない ; $proof$ = 
fact3 & fact1 -> int1: このみいみちゃLv.48は接近し易い; int1 & fact5 -> int2: このみいみちゃLv.48は由々し; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__