if the old-timer is a Paridae the goniometer is a Echinochloa.
sent1: if the old-timer is a Echinochloa then the mongoose is a Paridae. sent2: something is peptic if it is a Paridae. sent3: there is nothing that is both not non-libidinal and not a Halloween. sent4: if something does not neglect Aramaic then it is not a downbeat. sent5: if the predictor is hypodermic then the goniometer is a kind of a Echinochloa. sent6: the predictor does not neglect Aramaic but it is deficient if the fact that the goniometer is not libidinal is not false. sent7: the goniometer is not libidinal if the fact that the forequarter is libidinal but not a Halloween is incorrect. sent8: the predictor is not peptic and/or it is hypodermic if the old-timer is a Paridae.
void -> assump1: Let's assume that the old-timer is a Paridae.; sent8 & assump1 -> int1: the predictor is not peptic or is a kind of a hypodermic or both.;
the mongoose is peptic.
sent2 -> int2: the mongoose is peptic if it is a Paridae.; sent4 -> int3: if the fact that the predictor does not neglect Aramaic hold then it is not a downbeat.; sent3 -> int4: that the forequarter is libidinal but it is not a Halloween is false.; sent7 & int4 -> int5: the goniometer is not libidinal.; sent6 & int5 -> int6: the predictor does not neglect Aramaic but it is deficient.; int6 -> int7: the predictor does not neglect Aramaic.; int3 & int7 -> int8: the predictor is not a kind of a downbeat.; int8 -> int9: there is something such that it is not a kind of a downbeat.;
$hypothesis$ = if the old-timer is a Paridae the goniometer is a Echinochloa. ; $context$ = sent1: if the old-timer is a Echinochloa then the mongoose is a Paridae. sent2: something is peptic if it is a Paridae. sent3: there is nothing that is both not non-libidinal and not a Halloween. sent4: if something does not neglect Aramaic then it is not a downbeat. sent5: if the predictor is hypodermic then the goniometer is a kind of a Echinochloa. sent6: the predictor does not neglect Aramaic but it is deficient if the fact that the goniometer is not libidinal is not false. sent7: the goniometer is not libidinal if the fact that the forequarter is libidinal but not a Halloween is incorrect. sent8: the predictor is not peptic and/or it is hypodermic if the old-timer is a Paridae. ; $proof$ = 
void -> assump1: Let's assume that the old-timer is a Paridae.; sent8 & assump1 -> int1: the predictor is not peptic or is a kind of a hypodermic or both.; __UNKNOWN__