there exists something such that if it is not rectal that it is not a kind of a protegee and is not untruthful does not hold.
sent1: there exists something such that if that it is rectal hold then the fact that it is not a protegee and not untruthful is incorrect. sent2: the fact that something is not a lantern-fly and does not reposit pair does not hold if it is not antrorse. sent3: there is something such that if it does not reposit pair that it is not lucky and it is not a person is wrong. sent4: if that the putty is not untruthful is correct then that it is not a Midi and does not horripilate gamboge is false. sent5: there is something such that if it is not rectal that it is a protegee and it is not untruthful is not right. sent6: there is something such that if it is not a Chechen then the fact that it does not horripilate spherocyte and it is not intramuscular is not true. sent7: if the payee is not rectal then that it is a kind of a protegee that is not untruthful is false. sent8: that the payee is not a protegee and it is not untruthful is not correct if it is not rectal. sent9: that something is not sacrificial and is not a sternocleidomastoid does not hold if it is not a sights. sent10: there is something such that if it is not a kind of a desertification then that it is not a kind of a glowworm and is not a PTO is not correct. sent11: the fact that there is something such that if that it is not rectal is right then that it is not a protegee and is untruthful does not hold is not incorrect. sent12: the fact that the fact that the payee is not rectal and it is not a poliovirus is not true is true if it does not bespot Acroclinium. sent13: if the payee is not rectal it is not a kind of a protegee and is not untruthful. sent14: the fact that that the payee is not a coherence and it is not rectal is not incorrect is false if it is not urceolate. sent15: there exists something such that if it is not rectal it is not a protegee and it is not untruthful. sent16: that the payee is not a protegee and not untruthful is not right if it is rectal. sent17: the fact that there exists something such that if it does not occidentalize Goodman then that it is not surface and it is not a gourde is not right hold. sent18: if the payee is not rectal then the fact that it is not a protegee and it is untruthful does not hold.
sent8 -> hypothesis;
there exists something such that if it is not antrorse the fact that it is not a lantern-fly and it does not reposit pair does not hold.
sent2 -> int1: if the schlep is not antrorse the fact that it is not a lantern-fly and does not reposit pair is incorrect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not rectal that it is not a kind of a protegee and is not untruthful does not hold. ; $context$ = sent1: there exists something such that if that it is rectal hold then the fact that it is not a protegee and not untruthful is incorrect. sent2: the fact that something is not a lantern-fly and does not reposit pair does not hold if it is not antrorse. sent3: there is something such that if it does not reposit pair that it is not lucky and it is not a person is wrong. sent4: if that the putty is not untruthful is correct then that it is not a Midi and does not horripilate gamboge is false. sent5: there is something such that if it is not rectal that it is a protegee and it is not untruthful is not right. sent6: there is something such that if it is not a Chechen then the fact that it does not horripilate spherocyte and it is not intramuscular is not true. sent7: if the payee is not rectal then that it is a kind of a protegee that is not untruthful is false. sent8: that the payee is not a protegee and it is not untruthful is not correct if it is not rectal. sent9: that something is not sacrificial and is not a sternocleidomastoid does not hold if it is not a sights. sent10: there is something such that if it is not a kind of a desertification then that it is not a kind of a glowworm and is not a PTO is not correct. sent11: the fact that there is something such that if that it is not rectal is right then that it is not a protegee and is untruthful does not hold is not incorrect. sent12: the fact that the fact that the payee is not rectal and it is not a poliovirus is not true is true if it does not bespot Acroclinium. sent13: if the payee is not rectal it is not a kind of a protegee and is not untruthful. sent14: the fact that that the payee is not a coherence and it is not rectal is not incorrect is false if it is not urceolate. sent15: there exists something such that if it is not rectal it is not a protegee and it is not untruthful. sent16: that the payee is not a protegee and not untruthful is not right if it is rectal. sent17: the fact that there exists something such that if it does not occidentalize Goodman then that it is not surface and it is not a gourde is not right hold. sent18: if the payee is not rectal then the fact that it is not a protegee and it is untruthful does not hold. ; $proof$ = 
sent8 -> hypothesis; __PROVED__