that there is something such that it is a waterside that does integrate collar does not hold.
sent1: that the bedspread is a Eurafrican is true. sent2: the abator does integrate collar. sent3: something is prescription if that it does not integrate collar is correct. sent4: the uke is a prescription. sent5: there is something such that it is tractable. sent6: the bedspread is a kind of expressible a Miss. sent7: something is a waterside if the fact that it is not shapely and is clausal is not right. sent8: something is prescription if the fact that it is not shapely and it is a Miss does not hold. sent9: something does impoverish if it is hircine. sent10: if something is shapely then that it does instrument cockpit hold. sent11: if that something does not instrument cockpit but it is a kind of a Miss is not right then that it is a kind of a waterside is not incorrect. sent12: that that the bedspread does not instrument cockpit and is a Miss is not wrong is not true if the uke is shapely. sent13: if something is a kind of a dingbat then that it does integrate melanoderma is right. sent14: if something is not a kind of a waterside it is prescription. sent15: the bedspread is clausal and is prescription. sent16: the uke is shapely. sent17: something does integrate collar if the fact that it is clausal hold. sent18: the uke instruments glume.
sent11 -> int1: if that the bedspread does not instrument cockpit but it is a kind of a Miss is wrong it is a kind of a waterside.; sent12 & sent16 -> int2: that the bedspread does not instrument cockpit and is a kind of a Miss is incorrect.; int1 & int2 -> int3: the bedspread is a waterside.; sent17 -> int4: that the bedspread integrates collar is true if it is clausal.; sent15 -> int5: the bedspread is clausal.; int4 & int5 -> int6: the bedspread does integrate collar.; int3 & int6 -> int7: the bedspread is a waterside and it does integrate collar.; int7 -> hypothesis;
$hypothesis$ = that there is something such that it is a waterside that does integrate collar does not hold. ; $context$ = sent1: that the bedspread is a Eurafrican is true. sent2: the abator does integrate collar. sent3: something is prescription if that it does not integrate collar is correct. sent4: the uke is a prescription. sent5: there is something such that it is tractable. sent6: the bedspread is a kind of expressible a Miss. sent7: something is a waterside if the fact that it is not shapely and is clausal is not right. sent8: something is prescription if the fact that it is not shapely and it is a Miss does not hold. sent9: something does impoverish if it is hircine. sent10: if something is shapely then that it does instrument cockpit hold. sent11: if that something does not instrument cockpit but it is a kind of a Miss is not right then that it is a kind of a waterside is not incorrect. sent12: that that the bedspread does not instrument cockpit and is a Miss is not wrong is not true if the uke is shapely. sent13: if something is a kind of a dingbat then that it does integrate melanoderma is right. sent14: if something is not a kind of a waterside it is prescription. sent15: the bedspread is clausal and is prescription. sent16: the uke is shapely. sent17: something does integrate collar if the fact that it is clausal hold. sent18: the uke instruments glume. ; $proof$ = 
sent11 -> int1: if that the bedspread does not instrument cockpit but it is a kind of a Miss is wrong it is a kind of a waterside.; sent12 & sent16 -> int2: that the bedspread does not instrument cockpit and is a kind of a Miss is incorrect.; int1 & int2 -> int3: the bedspread is a waterside.; sent17 -> int4: that the bedspread integrates collar is true if it is clausal.; sent15 -> int5: the bedspread is clausal.; int4 & int5 -> int6: the bedspread does integrate collar.; int3 & int6 -> int7: the bedspread is a waterside and it does integrate collar.; int7 -> hypothesis; __DISPROVED__