there is something such that if it is not a enterotoxin that it is onshore or is not a gimlet or both does not hold.
sent1: the gloxinia is onshore. sent2: the ferryman is both ovoviviparous and not non-Frankish if it is not a kind of a enterotoxin. sent3: the fact that something either is onshore or is not a gimlet or both is not right if the fact that it is ovoviviparous is right. sent4: the fact that the ferryman is Frankish and/or it is not a auricula is not right if it is not two-dimensional.
void -> assump1: Let's assume that the ferryman is not a enterotoxin.; sent2 & assump1 -> int1: the ferryman is ovoviviparous and it is Frankish.; int1 -> int2: the ferryman is ovoviviparous.; sent3 -> int3: if the ferryman is ovoviviparous that that it is onshore or it is not a gimlet or both is not incorrect is incorrect.; int2 & int3 -> int4: the fact that the ferryman is onshore and/or not a gimlet does not hold.; [assump1] & int4 -> int5: that the ferryman is onshore and/or it is not a gimlet does not hold if it is not a enterotoxin.; int5 -> hypothesis;
$hypothesis$ = there is something such that if it is not a enterotoxin that it is onshore or is not a gimlet or both does not hold. ; $context$ = sent1: the gloxinia is onshore. sent2: the ferryman is both ovoviviparous and not non-Frankish if it is not a kind of a enterotoxin. sent3: the fact that something either is onshore or is not a gimlet or both is not right if the fact that it is ovoviviparous is right. sent4: the fact that the ferryman is Frankish and/or it is not a auricula is not right if it is not two-dimensional. ; $proof$ = 
void -> assump1: Let's assume that the ferryman is not a enterotoxin.; sent2 & assump1 -> int1: the ferryman is ovoviviparous and it is Frankish.; int1 -> int2: the ferryman is ovoviviparous.; sent3 -> int3: if the ferryman is ovoviviparous that that it is onshore or it is not a gimlet or both is not incorrect is incorrect.; int2 & int3 -> int4: the fact that the ferryman is onshore and/or not a gimlet does not hold.; [assump1] & int4 -> int5: that the ferryman is onshore and/or it is not a gimlet does not hold if it is not a enterotoxin.; int5 -> hypothesis; __PROVED__