the reproduction is a kind of non-loose thing that boards.
sent1: if that something is a kind of a Alsatian and is not a kind of a cough is wrong it is not a shakedown. sent2: if there exists something such that that it does not expense and it is a British does not hold then that the baobab is a shakedown is true. sent3: if something is non-Alsatian thing that is not a cough the carper is not gutsy. sent4: if something is not a shakedown then it does not mystify venesection and it is not loose. sent5: the reproduction is not loose but it is a boarding if the carper is not gutsy. sent6: the fact that the nasturtium is not an expense but British is not correct. sent7: the mouthbreeder is not a cough. sent8: if the baobab is a kind of a shakedown then the mouthbreeder is non-Alsatian thing that is not a cough.
sent6 -> int1: there exists something such that the fact that it is not a kind of an expense and it is a British is false.; int1 & sent2 -> int2: the baobab is shakedown.; sent8 & int2 -> int3: the mouthbreeder is not Alsatian and it is not a kind of a cough.; int3 -> int4: something is non-Alsatian and it does not cough.; int4 & sent3 -> int5: the carper is not gutsy.; sent5 & int5 -> hypothesis;
the fact that the reproduction is not loose but it boards is not correct.
$hypothesis$ = the reproduction is a kind of non-loose thing that boards. ; $context$ = sent1: if that something is a kind of a Alsatian and is not a kind of a cough is wrong it is not a shakedown. sent2: if there exists something such that that it does not expense and it is a British does not hold then that the baobab is a shakedown is true. sent3: if something is non-Alsatian thing that is not a cough the carper is not gutsy. sent4: if something is not a shakedown then it does not mystify venesection and it is not loose. sent5: the reproduction is not loose but it is a boarding if the carper is not gutsy. sent6: the fact that the nasturtium is not an expense but British is not correct. sent7: the mouthbreeder is not a cough. sent8: if the baobab is a kind of a shakedown then the mouthbreeder is non-Alsatian thing that is not a cough. ; $proof$ = 
sent6 -> int1: there exists something such that the fact that it is not a kind of an expense and it is a British is false.; int1 & sent2 -> int2: the baobab is shakedown.; sent8 & int2 -> int3: the mouthbreeder is not Alsatian and it is not a kind of a cough.; int3 -> int4: something is non-Alsatian and it does not cough.; int4 & sent3 -> int5: the carper is not gutsy.; sent5 & int5 -> hypothesis; __PROVED__