the surgeonfish is a kind of a hammerhead.
sent1: if the cordon antisepticizes Plautus then the parang is a balloonist. sent2: the ex-wife avoids escalation. sent3: the parang does antisepticize Plautus if something that is non-postwar is not a kind of a cliffhanger. sent4: the sulfa does not menstruate. sent5: The escalation avoids ex-wife. sent6: the ex-wife does not avoid escalation if the cordon is postwar and/or it is a reputation. sent7: something is not a cliffhanger if that it is tolerable and it is not a kind of a balloonist does not hold. sent8: if the ex-wife is a balloonist the fact that the cordon avoids escalation hold. sent9: that the surgeonfish is a hammerhead is right if the parang antisepticizes Plautus. sent10: if that something is not a kind of a reputation but it is postwar is not correct then it is not a hammerhead.
void -> assump1: Let's assume that the cordon is postwar.; assump1 -> int1: the cordon is postwar or it is a kind of a reputation or both.; int1 & sent6 -> int2: the ex-wife does not avoid escalation.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cordon is not postwar.; sent7 -> int5: the cordon is not a kind of a cliffhanger if that it is tolerable and it is not a kind of a balloonist is not true.;
the surgeonfish is not a hammerhead.
sent10 -> int6: if the fact that the surgeonfish is both not a reputation and not non-postwar does not hold it is not a hammerhead.;
$hypothesis$ = the surgeonfish is a kind of a hammerhead. ; $context$ = sent1: if the cordon antisepticizes Plautus then the parang is a balloonist. sent2: the ex-wife avoids escalation. sent3: the parang does antisepticize Plautus if something that is non-postwar is not a kind of a cliffhanger. sent4: the sulfa does not menstruate. sent5: The escalation avoids ex-wife. sent6: the ex-wife does not avoid escalation if the cordon is postwar and/or it is a reputation. sent7: something is not a cliffhanger if that it is tolerable and it is not a kind of a balloonist does not hold. sent8: if the ex-wife is a balloonist the fact that the cordon avoids escalation hold. sent9: that the surgeonfish is a hammerhead is right if the parang antisepticizes Plautus. sent10: if that something is not a kind of a reputation but it is postwar is not correct then it is not a hammerhead. ; $proof$ = 
void -> assump1: Let's assume that the cordon is postwar.; assump1 -> int1: the cordon is postwar or it is a kind of a reputation or both.; int1 & sent6 -> int2: the ex-wife does not avoid escalation.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cordon is not postwar.; sent7 -> int5: the cordon is not a kind of a cliffhanger if that it is tolerable and it is not a kind of a balloonist is not true.; __UNKNOWN__