the probationer is not divisible but it does originate.
sent1: that the fact that the probationer is not divisible but it originates does not hold if something is not divisible is correct. sent2: if the wildfowl does dilate then that it is a Erebus is correct. sent3: if that the wildfowl does not idealize probationer and is calisthenic is not true then that it is an eigenvalue hold. sent4: the probationer is not divisible but it does originate if there are non-Riemannian things. sent5: something that is either not sericultural or not an eigenvalue or both is not foreign. sent6: the probationer is both Riemannian and indivisible if the fact that it does originate is right. sent7: there exists something such that it is not non-synesthetic. sent8: there exists something such that it is not synesthetic. sent9: the wildfowl does dilate. sent10: something is not Riemannian if it is sericultural and it is a Erebus. sent11: the wildfowl is not a kind of an eigenvalue if something is not synesthetic. sent12: something is not a Erebus if it is both Riemannian and not divisible.
void -> assump1: Let's assume that the fact that the wildfowl does not idealize probationer and is calisthenic does not hold.; sent3 & assump1 -> int1: the wildfowl is an eigenvalue.; sent8 & sent11 -> int2: the wildfowl is not an eigenvalue.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wildfowl does not idealize probationer and is calisthenic.; sent2 & sent9 -> int5: the wildfowl is a Erebus.; sent10 -> int6: if the wildfowl is sericultural and it is a Erebus it is not Riemannian.;
that the probationer is indivisible thing that does originate is incorrect.
$hypothesis$ = the probationer is not divisible but it does originate. ; $context$ = sent1: that the fact that the probationer is not divisible but it originates does not hold if something is not divisible is correct. sent2: if the wildfowl does dilate then that it is a Erebus is correct. sent3: if that the wildfowl does not idealize probationer and is calisthenic is not true then that it is an eigenvalue hold. sent4: the probationer is not divisible but it does originate if there are non-Riemannian things. sent5: something that is either not sericultural or not an eigenvalue or both is not foreign. sent6: the probationer is both Riemannian and indivisible if the fact that it does originate is right. sent7: there exists something such that it is not non-synesthetic. sent8: there exists something such that it is not synesthetic. sent9: the wildfowl does dilate. sent10: something is not Riemannian if it is sericultural and it is a Erebus. sent11: the wildfowl is not a kind of an eigenvalue if something is not synesthetic. sent12: something is not a Erebus if it is both Riemannian and not divisible. ; $proof$ = 
void -> assump1: Let's assume that the fact that the wildfowl does not idealize probationer and is calisthenic does not hold.; sent3 & assump1 -> int1: the wildfowl is an eigenvalue.; sent8 & sent11 -> int2: the wildfowl is not an eigenvalue.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wildfowl does not idealize probationer and is calisthenic.; sent2 & sent9 -> int5: the wildfowl is a Erebus.; sent10 -> int6: if the wildfowl is sericultural and it is a Erebus it is not Riemannian.; __UNKNOWN__