there exists something such that if the fact that it does not neglect eland and it is not a kind of a Siouan is not right it does not transubstantiate.
sent1: there exists something such that if that it does not neglect eland and is not Siouan is not right then it transubstantiates. sent2: something does not transubstantiate if that it does not neglect eland and it is not Siouan is not right. sent3: something transubstantiates if the fact that it does not neglect eland and is not a Siouan is wrong. sent4: if the fact that that the fact that the chine is not fabian and it does not neglect goldbrick hold is not correct is not false then it is not a kind of a subcontractor. sent5: something is not a moon if that it is not binocular and it is not an implant is incorrect. sent6: something does not nest thermograph if that it does not rumble and it is not an arrival is not true. sent7: the tropics does not transubstantiate if it does not neglect eland and it is not Siouan. sent8: there is something such that if it does neglect eland it does not transubstantiate. sent9: if the fact that the tropics does not neglect eland but it is a kind of a Siouan is incorrect it does not transubstantiate. sent10: there is something such that if that it does not neglect eland and it is a Siouan does not hold then it does not transubstantiate. sent11: there is something such that if that it is not a kind of a stuff and it is not sensory is not true then it does not neglect tropics. sent12: if something does neglect eland it does not transubstantiate. sent13: if the fact that something does not neglect eland and is not non-Siouan is not correct it does not transubstantiate. sent14: if that the tropics does not neglect eland and is non-Siouan does not hold then it transubstantiates. sent15: if the fact that the fact that the tropics is not a Siouan and it is not sigmoid hold does not hold then it does not nest knight. sent16: if something that does not neglect eland is not Siouan it does not transubstantiate. sent17: there exists something such that if it does not neglect eland and it is not a kind of a Siouan it does not transubstantiate. sent18: if the tropics does neglect eland it does not transubstantiate.
sent2 -> int1: that the tropics does not transubstantiate is correct if the fact that it does not neglect eland and is not Siouan does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not neglect eland and it is not a kind of a Siouan is not right it does not transubstantiate. ; $context$ = sent1: there exists something such that if that it does not neglect eland and is not Siouan is not right then it transubstantiates. sent2: something does not transubstantiate if that it does not neglect eland and it is not Siouan is not right. sent3: something transubstantiates if the fact that it does not neglect eland and is not a Siouan is wrong. sent4: if the fact that that the fact that the chine is not fabian and it does not neglect goldbrick hold is not correct is not false then it is not a kind of a subcontractor. sent5: something is not a moon if that it is not binocular and it is not an implant is incorrect. sent6: something does not nest thermograph if that it does not rumble and it is not an arrival is not true. sent7: the tropics does not transubstantiate if it does not neglect eland and it is not Siouan. sent8: there is something such that if it does neglect eland it does not transubstantiate. sent9: if the fact that the tropics does not neglect eland but it is a kind of a Siouan is incorrect it does not transubstantiate. sent10: there is something such that if that it does not neglect eland and it is a Siouan does not hold then it does not transubstantiate. sent11: there is something such that if that it is not a kind of a stuff and it is not sensory is not true then it does not neglect tropics. sent12: if something does neglect eland it does not transubstantiate. sent13: if the fact that something does not neglect eland and is not non-Siouan is not correct it does not transubstantiate. sent14: if that the tropics does not neglect eland and is non-Siouan does not hold then it transubstantiates. sent15: if the fact that the fact that the tropics is not a Siouan and it is not sigmoid hold does not hold then it does not nest knight. sent16: if something that does not neglect eland is not Siouan it does not transubstantiate. sent17: there exists something such that if it does not neglect eland and it is not a kind of a Siouan it does not transubstantiate. sent18: if the tropics does neglect eland it does not transubstantiate. ; $proof$ = 
sent2 -> int1: that the tropics does not transubstantiate is correct if the fact that it does not neglect eland and is not Siouan does not hold.; int1 -> hypothesis; __PROVED__