there exists something such that if it is a kind of a shroud then it is a Argyroxiphium.
sent1: there is something such that if it is diclinous then it does heat potlatch. sent2: there exists something such that if it does heat potlatch that it is a kind of a disproportion is correct. sent3: the fact that there exists something such that if it is cryogenics that it is a filmmaker is not wrong is correct. sent4: there exists something such that if it is noncombinative then it lunches Pole. sent5: something is a squareness if it does heat ferricyanide. sent6: there exists something such that if it is a Styron it is hemolytic. sent7: if the Pole is a shroud then it is a Argyroxiphium. sent8: there exists something such that if it is a kind of a Styron then it is a Smolensk. sent9: if the caracal heats caracal it is a kind of a Argyroxiphium.
sent7 -> hypothesis;
the Pole is a kind of a squareness if the fact that it does heat ferricyanide is true.
sent5 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a shroud then it is a Argyroxiphium. ; $context$ = sent1: there is something such that if it is diclinous then it does heat potlatch. sent2: there exists something such that if it does heat potlatch that it is a kind of a disproportion is correct. sent3: the fact that there exists something such that if it is cryogenics that it is a filmmaker is not wrong is correct. sent4: there exists something such that if it is noncombinative then it lunches Pole. sent5: something is a squareness if it does heat ferricyanide. sent6: there exists something such that if it is a Styron it is hemolytic. sent7: if the Pole is a shroud then it is a Argyroxiphium. sent8: there exists something such that if it is a kind of a Styron then it is a Smolensk. sent9: if the caracal heats caracal it is a kind of a Argyroxiphium. ; $proof$ = 
sent7 -> hypothesis; __PROVED__