that the blacktop is not a Fresnel is not false.
sent1: the fact that something is confident and is not a kind of an earphone is not true if it is a Dyirbal. sent2: the blacktop is a kind of a Fresnel if the capsicum is a Fresnel. sent3: the fact that something is a kind of a Dyirbal and/or it is not an earphone is not false. sent4: the blacktop is not a Fresnel if there exists something such that the fact that either it is a Dyirbal or it is not an earphone or both is not right. sent5: if something is hypotonic the fact that it is a Dyirbal or is not a kind of an earphone or both is false. sent6: there exists something such that it is genial. sent7: the fact that the capsicum is not the amendment and gloms explication if the capsicum is not hypotonic is not wrong. sent8: the capsicum does glom explication if it is not hypotonic. sent9: something is not confident if that it is both confident and genial is incorrect. sent10: there exists something such that it is not genial. sent11: the blacktop is not a kind of a Fresnel if there is something such that the fact that it is a kind of a Dyirbal and/or is an earphone does not hold. sent12: if something is hypotonic then it is both not a Joffrey and sensorineural. sent13: the fact that the pledgee is confident and it is genial does not hold if something is not genial. sent14: the capsicum is not confident if that the pledgee is confident but it is not a kind of an earphone does not hold.
void -> assump1: Let's assume that the capsicum is not hypotonic.; sent7 & assump1 -> int1: the capsicum is not an amendment and does glom explication.; sent9 -> int2: if the fact that the pledgee is confident and it is genial is not correct it is not confident.; sent10 & sent13 -> int3: that the pledgee is confident and it is genial is not true.; int2 & int3 -> int4: the pledgee is not confident.; sent5 -> int5: if the capsicum is hypotonic then that it is a Dyirbal and/or it is not a kind of an earphone is false.;
the industrialist is not a Joffrey but it is sensorineural.
sent12 -> int6: if the industrialist is not non-hypotonic it is not a Joffrey and is sensorineural.; sent1 -> int7: that the pledgee is confident but it is not an earphone does not hold if it is a Dyirbal.;
$hypothesis$ = that the blacktop is not a Fresnel is not false. ; $context$ = sent1: the fact that something is confident and is not a kind of an earphone is not true if it is a Dyirbal. sent2: the blacktop is a kind of a Fresnel if the capsicum is a Fresnel. sent3: the fact that something is a kind of a Dyirbal and/or it is not an earphone is not false. sent4: the blacktop is not a Fresnel if there exists something such that the fact that either it is a Dyirbal or it is not an earphone or both is not right. sent5: if something is hypotonic the fact that it is a Dyirbal or is not a kind of an earphone or both is false. sent6: there exists something such that it is genial. sent7: the fact that the capsicum is not the amendment and gloms explication if the capsicum is not hypotonic is not wrong. sent8: the capsicum does glom explication if it is not hypotonic. sent9: something is not confident if that it is both confident and genial is incorrect. sent10: there exists something such that it is not genial. sent11: the blacktop is not a kind of a Fresnel if there is something such that the fact that it is a kind of a Dyirbal and/or is an earphone does not hold. sent12: if something is hypotonic then it is both not a Joffrey and sensorineural. sent13: the fact that the pledgee is confident and it is genial does not hold if something is not genial. sent14: the capsicum is not confident if that the pledgee is confident but it is not a kind of an earphone does not hold. ; $proof$ = 
void -> assump1: Let's assume that the capsicum is not hypotonic.; sent7 & assump1 -> int1: the capsicum is not an amendment and does glom explication.; sent9 -> int2: if the fact that the pledgee is confident and it is genial is not correct it is not confident.; sent10 & sent13 -> int3: that the pledgee is confident and it is genial is not true.; int2 & int3 -> int4: the pledgee is not confident.; sent5 -> int5: if the capsicum is hypotonic then that it is a Dyirbal and/or it is not a kind of an earphone is false.; __UNKNOWN__