the coelenteron is Hellenic if the fact that the stevedore is not a Cistus but germfree is not false.
sent1: the stevedore is not a Cistus. sent2: there is something such that it is sensorineural. sent3: the coelenteron is not Hellenic and is a kind of a Cistus. sent4: the earthball is a Cistus. sent5: the fact that if there is something such that it is not a kind of a Cistus and it is germfree the coelenteron is Hellenic hold. sent6: the fact that something does drop and is not a Cistus is incorrect if it is not Hellenic. sent7: there is something such that the fact that it is not feverish is not false. sent8: something is a kind of a Cistus and it is Hellenic. sent9: something is a reluctance but it is not Hellenic if it is sensorineural. sent10: the fact that the stevedore is Hellenic is right. sent11: something is a kind of a Cestrum. sent12: if something is a Cistus and germfree the coelenteron is Hellenic. sent13: the danger is Hellenic. sent14: the coelenteron is Hellenic if the stevedore is a Cistus and it is germfree. sent15: the coelenteron is a Cistus. sent16: the coelenteron is not anestrous but it does flock humdinger. sent17: there is something such that it is not a Cistus. sent18: if the stevedore is a kind of Hellenic thing that is a kind of a Cistus the coelenteron is germfree. sent19: the stevedore is Hellenic if the coelenteron is not a Cistus and is germfree. sent20: the stevedore is Hellenic if the coelenteron is not germfree and is a Cistus.
void -> assump1: Let's assume that the stevedore is not a Cistus but germfree.; assump1 -> int1: something is not a Cistus but it is germfree.; int1 & sent5 -> int2: the coelenteron is Hellenic.; [assump1] & int2 -> hypothesis;
the ambusher is a Cistus.
sent6 -> int3: if the coelenteron is not Hellenic that it is a dropping and not a Cistus does not hold.; sent9 -> int4: if the coelenteron is sensorineural it is a reluctance and it is not Hellenic.;
$hypothesis$ = the coelenteron is Hellenic if the fact that the stevedore is not a Cistus but germfree is not false. ; $context$ = sent1: the stevedore is not a Cistus. sent2: there is something such that it is sensorineural. sent3: the coelenteron is not Hellenic and is a kind of a Cistus. sent4: the earthball is a Cistus. sent5: the fact that if there is something such that it is not a kind of a Cistus and it is germfree the coelenteron is Hellenic hold. sent6: the fact that something does drop and is not a Cistus is incorrect if it is not Hellenic. sent7: there is something such that the fact that it is not feverish is not false. sent8: something is a kind of a Cistus and it is Hellenic. sent9: something is a reluctance but it is not Hellenic if it is sensorineural. sent10: the fact that the stevedore is Hellenic is right. sent11: something is a kind of a Cestrum. sent12: if something is a Cistus and germfree the coelenteron is Hellenic. sent13: the danger is Hellenic. sent14: the coelenteron is Hellenic if the stevedore is a Cistus and it is germfree. sent15: the coelenteron is a Cistus. sent16: the coelenteron is not anestrous but it does flock humdinger. sent17: there is something such that it is not a Cistus. sent18: if the stevedore is a kind of Hellenic thing that is a kind of a Cistus the coelenteron is germfree. sent19: the stevedore is Hellenic if the coelenteron is not a Cistus and is germfree. sent20: the stevedore is Hellenic if the coelenteron is not germfree and is a Cistus. ; $proof$ = 
void -> assump1: Let's assume that the stevedore is not a Cistus but germfree.; assump1 -> int1: something is not a Cistus but it is germfree.; int1 & sent5 -> int2: the coelenteron is Hellenic.; [assump1] & int2 -> hypothesis; __PROVED__