そのぷなぷいLv.35は山深くない
fact1: もしもこのもにものLv.36が御労しいとしたらそのぷにゅぷよLv.91は明記する fact2: もしそのぷにゅぷよLv.91が明記するとしたらそのぷなぷいLv.35は山深い fact3: このもにものLv.36は御労しい
fact1 & fact3 -> int1: そのぷにゅぷよLv.91は明記する; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもこのもにものLv.36が御労しいとしたらそのぷにゅぷよLv.91は明記する fact2: もしそのぷにゅぷよLv.91が明記するとしたらそのぷなぷいLv.35は山深い fact3: このもにものLv.36は御労しい ; $hypothesis$ = そのぷなぷいLv.35は山深くない ; $proof$ = 
fact1 & fact3 -> int1: そのぷにゅぷよLv.91は明記する; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __DISPROVED__