the fact that the minicar is a Down and it is a kind of a Foeniculum is not true if the electrician is not a kind of a Nyctimene.
sent1: there is something such that it is a kind of a Foeniculum. sent2: there exists something such that it is not a Nyctimene. sent3: if the goldfields is not a Jesus then the electrician is a Nyctimene. sent4: something is a kind of a Nyctimene if it is a kind of a Foeniculum. sent5: the goldfields does not perseverate minicar and it is not a Nyctimene. sent6: if that something is not pneumatics but it does perseverate minicar is correct then it is not a Jesus. sent7: the goldfields banks elan. sent8: the fact that the minicar is a Foeniculum is correct. sent9: the minicar is pathological. sent10: the electrician is pneumatics. sent11: if there is something such that it is not unreactive the goldfields is a kind of a Jesus and is a Down. sent12: if something is not unreactive then that the minicar is a Down and it is a kind of a Foeniculum is not true. sent13: something is not a kind of a Jesus if it is not pneumatics and it does not perseverate minicar. sent14: if the minicar is a Jesus that the goldfields is a kind of a Down and it is a Nyctimene does not hold.
void -> assump1: Let's assume that the goldfields is unreactive.; sent13 -> int1: the goldfields is not a Jesus if it is non-pneumatics and it does not perseverate minicar.;
there exists something such that it does not impede hellbender.
sent4 -> int2: that the minicar is a Nyctimene is not wrong if it is a Foeniculum.; int2 & sent8 -> int3: the minicar is a kind of a Nyctimene.; int3 -> int4: something is a Nyctimene.;
$hypothesis$ = the fact that the minicar is a Down and it is a kind of a Foeniculum is not true if the electrician is not a kind of a Nyctimene. ; $context$ = sent1: there is something such that it is a kind of a Foeniculum. sent2: there exists something such that it is not a Nyctimene. sent3: if the goldfields is not a Jesus then the electrician is a Nyctimene. sent4: something is a kind of a Nyctimene if it is a kind of a Foeniculum. sent5: the goldfields does not perseverate minicar and it is not a Nyctimene. sent6: if that something is not pneumatics but it does perseverate minicar is correct then it is not a Jesus. sent7: the goldfields banks elan. sent8: the fact that the minicar is a Foeniculum is correct. sent9: the minicar is pathological. sent10: the electrician is pneumatics. sent11: if there is something such that it is not unreactive the goldfields is a kind of a Jesus and is a Down. sent12: if something is not unreactive then that the minicar is a Down and it is a kind of a Foeniculum is not true. sent13: something is not a kind of a Jesus if it is not pneumatics and it does not perseverate minicar. sent14: if the minicar is a Jesus that the goldfields is a kind of a Down and it is a Nyctimene does not hold. ; $proof$ = 
void -> assump1: Let's assume that the goldfields is unreactive.; sent13 -> int1: the goldfields is not a Jesus if it is non-pneumatics and it does not perseverate minicar.; __UNKNOWN__