there is something such that if it is not a funicular that it is not explicit and is not symptomatic does not hold.
sent1: if the enterokinase is not funicular then the fact that it is not explicit and is symptomatic is wrong. sent2: there exists something such that if it is non-funicular it is a kind of non-explicit thing that is not symptomatic. sent3: there is something such that if it is non-funicular that it is not explicit and not non-symptomatic is not correct. sent4: that the enterokinase is not non-explicit and not symptomatic is not right if it is not funicular. sent5: that the enterokinase is non-explicit thing that is not symptomatic does not hold if it is not a funicular. sent6: if something is not mutative then the fact that it is a kind of non-peripatetic thing that does not admonish is false. sent7: there is something such that if that it is not a funicular is correct the fact that it is explicit and not symptomatic is not true.
sent5 -> hypothesis;
the fact that the Gaul is not a peripatetic and it does not admonish is incorrect if it is not mutative.
sent6 -> hypothesis;
$hypothesis$ = there is something such that if it is not a funicular that it is not explicit and is not symptomatic does not hold. ; $context$ = sent1: if the enterokinase is not funicular then the fact that it is not explicit and is symptomatic is wrong. sent2: there exists something such that if it is non-funicular it is a kind of non-explicit thing that is not symptomatic. sent3: there is something such that if it is non-funicular that it is not explicit and not non-symptomatic is not correct. sent4: that the enterokinase is not non-explicit and not symptomatic is not right if it is not funicular. sent5: that the enterokinase is non-explicit thing that is not symptomatic does not hold if it is not a funicular. sent6: if something is not mutative then the fact that it is a kind of non-peripatetic thing that does not admonish is false. sent7: there is something such that if that it is not a funicular is correct the fact that it is explicit and not symptomatic is not true. ; $proof$ = 
sent5 -> hypothesis; __PROVED__