the fact that there is something such that if that it is not a kind of an artist and is not a conservative is not correct then the fact that it is a prize hold is not wrong.
sent1: there exists something such that if it apes housemother then the fact that it does ape rainmaker is not false. sent2: if the fact that something is both not an artifact and not a J is not right then it is a squaw. sent3: if that the clipper is not a kind of an artist and it is not a kind of a conservative does not hold then that it is not a kind of a prize is not true.
sent3 -> hypothesis;
there is something such that if that it is not an artifact and not a J is not right then it is a squaw.
sent2 -> int1: if that the rainmaker is not an artifact and is not a J is incorrect it is a kind of a squaw.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it is not a kind of an artist and is not a conservative is not correct then the fact that it is a prize hold is not wrong. ; $context$ = sent1: there exists something such that if it apes housemother then the fact that it does ape rainmaker is not false. sent2: if the fact that something is both not an artifact and not a J is not right then it is a squaw. sent3: if that the clipper is not a kind of an artist and it is not a kind of a conservative does not hold then that it is not a kind of a prize is not true. ; $proof$ = 
sent3 -> hypothesis; __PROVED__