the consequence is not a Otariidae.
sent1: if that the consequence is not campanulate is not false it is not a self-portrait. sent2: if something is a kind of a Whittle that it is a pluviometer is not false. sent3: if something that is a self-portrait is campanulate then that the consequence is not a stream is correct. sent4: if the consequence is not a kind of a self-portrait then it is a Zeitgeist. sent5: if the dune is not a kind of a stream then it is a self-portrait. sent6: something is a Otariidae if it is a Zeitgeist. sent7: if something that is a stream is a kind of an appeal the consequence is not campanulate. sent8: if something is a lomustine it is a titfer. sent9: the dune streams and is a self-portrait. sent10: the polypody is campanulate thing that isolates. sent11: the consequence is a Zeitgeist if it does not turn hank. sent12: the dune is a kind of a stream and it appeals.
sent12 -> int1: something is a stream that is an appeal.; int1 & sent7 -> int2: the consequence is not campanulate.; int2 & sent1 -> int3: the consequence is not a self-portrait.; int3 & sent4 -> int4: the consequence is a Zeitgeist.; sent6 -> int5: if the consequence is a kind of a Zeitgeist it is a Otariidae.; int4 & int5 -> hypothesis;
the dendrite is a pluviometer if it is a Whittle.
sent2 -> hypothesis;
$hypothesis$ = the consequence is not a Otariidae. ; $context$ = sent1: if that the consequence is not campanulate is not false it is not a self-portrait. sent2: if something is a kind of a Whittle that it is a pluviometer is not false. sent3: if something that is a self-portrait is campanulate then that the consequence is not a stream is correct. sent4: if the consequence is not a kind of a self-portrait then it is a Zeitgeist. sent5: if the dune is not a kind of a stream then it is a self-portrait. sent6: something is a Otariidae if it is a Zeitgeist. sent7: if something that is a stream is a kind of an appeal the consequence is not campanulate. sent8: if something is a lomustine it is a titfer. sent9: the dune streams and is a self-portrait. sent10: the polypody is campanulate thing that isolates. sent11: the consequence is a Zeitgeist if it does not turn hank. sent12: the dune is a kind of a stream and it appeals. ; $proof$ = 
sent12 -> int1: something is a stream that is an appeal.; int1 & sent7 -> int2: the consequence is not campanulate.; int2 & sent1 -> int3: the consequence is not a self-portrait.; int3 & sent4 -> int4: the consequence is a Zeitgeist.; sent6 -> int5: if the consequence is a kind of a Zeitgeist it is a Otariidae.; int4 & int5 -> hypothesis; __DISPROVED__