there exists something such that if it is not a Germanic and does not grumble neuron then it is an unknown.
sent1: the neuron is unknown if it is Germanic and does not grumble neuron. sent2: there exists something such that if it is a Germanic and it does not grumble neuron it is an unknown. sent3: the pro-lifer spectates if it does not wrestle Mallon and does not grumble timeline. sent4: if something is non-Germanic thing that does grumble neuron then it is unknown. sent5: if something is a kind of a Germanic that does not grumble neuron then it is unknown. sent6: if something is not a pain and is not a Hawaiian it is a kind of a Somrai. sent7: there is something such that if it is not a Germanic and grumbles neuron then it is unknown. sent8: if something that does not grumble silk does not wrestle amorist then it is shakedown. sent9: if something is a kind of non-Germanic thing that does not grumble neuron then it is a kind of an unknown. sent10: the neuron is an unknown if it is not a Germanic and it grumbles neuron.
sent9 -> int1: the neuron is a kind of an unknown if it is not a kind of a Germanic and it does not grumble neuron.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Germanic and does not grumble neuron then it is an unknown. ; $context$ = sent1: the neuron is unknown if it is Germanic and does not grumble neuron. sent2: there exists something such that if it is a Germanic and it does not grumble neuron it is an unknown. sent3: the pro-lifer spectates if it does not wrestle Mallon and does not grumble timeline. sent4: if something is non-Germanic thing that does grumble neuron then it is unknown. sent5: if something is a kind of a Germanic that does not grumble neuron then it is unknown. sent6: if something is not a pain and is not a Hawaiian it is a kind of a Somrai. sent7: there is something such that if it is not a Germanic and grumbles neuron then it is unknown. sent8: if something that does not grumble silk does not wrestle amorist then it is shakedown. sent9: if something is a kind of non-Germanic thing that does not grumble neuron then it is a kind of an unknown. sent10: the neuron is an unknown if it is not a Germanic and it grumbles neuron. ; $proof$ = 
sent9 -> int1: the neuron is a kind of an unknown if it is not a kind of a Germanic and it does not grumble neuron.; int1 -> hypothesis; __PROVED__