there is something such that if that it is a yokel and it does not mask hulking is not true then it is not a rabato.
sent1: if the fact that the cytosine is a kind of a yokel that does not mask hulking is incorrect then it is not a rabato. sent2: if the fact that the cytosine does embrown Baptists but it is not a kind of a yokel is false it is a Fagin. sent3: the Chain is skinless if the fact that it does mask hulking and it is not medieval is not right. sent4: there exists something such that if the fact that it is garlicky thing that does not embrown Enki is false then it is not a STP. sent5: the cytosine is not a rabato if it is a yokel and it does not mask hulking. sent6: there exists something such that if it masks hulking then it is not a rabato. sent7: there is something such that if the fact that it is inertial and it is statuary is not right then it is not unmade. sent8: the cytosine does not jam jawfish if it masks hulking and is not a witching. sent9: the scarabaeid is non-Gambian if it is a kind of a Rigel and is not a yokel. sent10: there exists something such that if the fact that it is a yokel and does not mask hulking is not correct then that it is not a rabato is wrong. sent11: something is not unmade if that it thrusts and it is not a Gambian is false. sent12: if the cytosine is not a yokel then it is not a rabato. sent13: if the fact that the cytosine is a kind of a yokel that does not mask hulking does not hold then it is a rabato. sent14: there exists something such that if it masks longwool then it is not olfactory. sent15: there exists something such that if it is a kind of a yokel that does not mask hulking it is not a rabato. sent16: there is something such that if that it does season and it is not a ineligibility does not hold it is not bauxitic. sent17: there exists something such that if the fact that it is a kind of a sawfly that is not a Luxor is wrong it does not jam Compton. sent18: that the cytosine is not a cockchafer is not wrong if it is a yokel.
sent1 -> hypothesis;
there exists something such that if the fact that it thrusts and it is not a Gambian is false it is not unmade.
sent11 -> int1: if that the eptatretus does thrust and is non-Gambian does not hold then it is not unmade.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is a yokel and it does not mask hulking is not true then it is not a rabato. ; $context$ = sent1: if the fact that the cytosine is a kind of a yokel that does not mask hulking is incorrect then it is not a rabato. sent2: if the fact that the cytosine does embrown Baptists but it is not a kind of a yokel is false it is a Fagin. sent3: the Chain is skinless if the fact that it does mask hulking and it is not medieval is not right. sent4: there exists something such that if the fact that it is garlicky thing that does not embrown Enki is false then it is not a STP. sent5: the cytosine is not a rabato if it is a yokel and it does not mask hulking. sent6: there exists something such that if it masks hulking then it is not a rabato. sent7: there is something such that if the fact that it is inertial and it is statuary is not right then it is not unmade. sent8: the cytosine does not jam jawfish if it masks hulking and is not a witching. sent9: the scarabaeid is non-Gambian if it is a kind of a Rigel and is not a yokel. sent10: there exists something such that if the fact that it is a yokel and does not mask hulking is not correct then that it is not a rabato is wrong. sent11: something is not unmade if that it thrusts and it is not a Gambian is false. sent12: if the cytosine is not a yokel then it is not a rabato. sent13: if the fact that the cytosine is a kind of a yokel that does not mask hulking does not hold then it is a rabato. sent14: there exists something such that if it masks longwool then it is not olfactory. sent15: there exists something such that if it is a kind of a yokel that does not mask hulking it is not a rabato. sent16: there is something such that if that it does season and it is not a ineligibility does not hold it is not bauxitic. sent17: there exists something such that if the fact that it is a kind of a sawfly that is not a Luxor is wrong it does not jam Compton. sent18: that the cytosine is not a cockchafer is not wrong if it is a yokel. ; $proof$ = 
sent1 -> hypothesis; __PROVED__