that the plover does not expire throwster and/or it is a kind of a firehouse is not right.
sent1: the plover expires throwster. sent2: if there is something such that it does not expire throwster the fact that the casern is either not a semen or a firehouse or both is incorrect. sent3: if something is not a semen then the plover does expire throwster. sent4: if there exists something such that it is not a kind of a semen the fact that either the plover does not expire throwster or it is a firehouse or both is wrong. sent5: there is something such that it is a semen. sent6: the casern is not a semen.
sent6 -> int1: something is not a semen.; int1 & sent4 -> hypothesis;
$hypothesis$ = that the plover does not expire throwster and/or it is a kind of a firehouse is not right. ; $context$ = sent1: the plover expires throwster. sent2: if there is something such that it does not expire throwster the fact that the casern is either not a semen or a firehouse or both is incorrect. sent3: if something is not a semen then the plover does expire throwster. sent4: if there exists something such that it is not a kind of a semen the fact that either the plover does not expire throwster or it is a firehouse or both is wrong. sent5: there is something such that it is a semen. sent6: the casern is not a semen. ; $proof$ = 
sent6 -> int1: something is not a semen.; int1 & sent4 -> hypothesis; __PROVED__