the wormcast is reverent.
sent1: if there exists something such that that it does not debrief proselytism and is not Ptolemaic is incorrect the wormcast is not sufficient. sent2: if the fact that something does surface blackmail but it is not a profit is not wrong the menhaden is not sufficient. sent3: the chervil is a degeneration. sent4: the wormcast is reverent and does debrief proselytism if the pawnshop is not high. sent5: if something that does not surface blackmail is not a kind of a profit the menhaden is not sufficient. sent6: if the Romanov is Ptolemaic the menhaden is sufficient. sent7: the Romanov is Ptolemaic.
void -> assump1: Let's assume that the chervil does not surface blackmail and is not a profit.; assump1 -> int1: something does not surface blackmail and it is not a kind of a profit.; int1 & sent5 -> int2: the menhaden is not sufficient.; sent6 & sent7 -> int3: the menhaden is sufficient.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the chervil does not surface blackmail and is not a profit is incorrect.; int5 -> int6: there exists something such that the fact that it does not surface blackmail and it is not a profit is wrong.;
$hypothesis$ = the wormcast is reverent. ; $context$ = sent1: if there exists something such that that it does not debrief proselytism and is not Ptolemaic is incorrect the wormcast is not sufficient. sent2: if the fact that something does surface blackmail but it is not a profit is not wrong the menhaden is not sufficient. sent3: the chervil is a degeneration. sent4: the wormcast is reverent and does debrief proselytism if the pawnshop is not high. sent5: if something that does not surface blackmail is not a kind of a profit the menhaden is not sufficient. sent6: if the Romanov is Ptolemaic the menhaden is sufficient. sent7: the Romanov is Ptolemaic. ; $proof$ = 
void -> assump1: Let's assume that the chervil does not surface blackmail and is not a profit.; assump1 -> int1: something does not surface blackmail and it is not a kind of a profit.; int1 & sent5 -> int2: the menhaden is not sufficient.; sent6 & sent7 -> int3: the menhaden is sufficient.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the chervil does not surface blackmail and is not a profit is incorrect.; int5 -> int6: there exists something such that the fact that it does not surface blackmail and it is not a profit is wrong.; __UNKNOWN__