the oak chafes.
sent1: if there exists something such that it is not steep the maleate is sustainable. sent2: the maleate is sustainable. sent3: the fact that if there is something such that it does not steep then the maleate is sustainable and it is a muscularity is not false. sent4: something chafes if that it is non-sustainable and/or non-steep does not hold. sent5: if there is something such that it is Gregorian then the oak is not a chafe. sent6: there is something such that it is a kind of a steep. sent7: something is armillary if it is a muscularity. sent8: that the ethchlorvynol is not sustainable and/or it does not steep is false if the doodlebug is not a muscularity. sent9: if there is something such that it either is armillary or is Gregorian or both the oak does not chafe. sent10: there is something such that it is not a kind of a steep. sent11: the dacryocyst does nag and toys. sent12: if a non-Gregorian thing is palingenetic the redbelly is not armillary. sent13: the maleate is a muscularity and it is Gregorian if there exists something such that it is not sustainable. sent14: if something that is not armillary is Gregorian then the dog does steep. sent15: something that hands insolation is not Gregorian and is palingenetic. sent16: the maleate is a chafe if the ethchlorvynol is a chafe. sent17: the klaxon hands insolation and it is typographic. sent18: the maleate is both not armillary and not non-Gregorian if it is not a kind of a chafe. sent19: the maleate is a kind of a kvass.
sent10 & sent3 -> int1: the maleate is a kind of sustainable thing that is a kind of a muscularity.; int1 -> int2: the maleate is a muscularity.; sent7 -> int3: the maleate is armillary if it is a kind of a muscularity.; int2 & int3 -> int4: the fact that the maleate is armillary is correct.; int4 -> int5: the maleate is armillary or it is not non-Gregorian or both.; int5 -> int6: there is something such that it is armillary and/or Gregorian.; int6 & sent9 -> hypothesis;
the fact that the dog is not sustainable hold.
$hypothesis$ = the oak chafes. ; $context$ = sent1: if there exists something such that it is not steep the maleate is sustainable. sent2: the maleate is sustainable. sent3: the fact that if there is something such that it does not steep then the maleate is sustainable and it is a muscularity is not false. sent4: something chafes if that it is non-sustainable and/or non-steep does not hold. sent5: if there is something such that it is Gregorian then the oak is not a chafe. sent6: there is something such that it is a kind of a steep. sent7: something is armillary if it is a muscularity. sent8: that the ethchlorvynol is not sustainable and/or it does not steep is false if the doodlebug is not a muscularity. sent9: if there is something such that it either is armillary or is Gregorian or both the oak does not chafe. sent10: there is something such that it is not a kind of a steep. sent11: the dacryocyst does nag and toys. sent12: if a non-Gregorian thing is palingenetic the redbelly is not armillary. sent13: the maleate is a muscularity and it is Gregorian if there exists something such that it is not sustainable. sent14: if something that is not armillary is Gregorian then the dog does steep. sent15: something that hands insolation is not Gregorian and is palingenetic. sent16: the maleate is a chafe if the ethchlorvynol is a chafe. sent17: the klaxon hands insolation and it is typographic. sent18: the maleate is both not armillary and not non-Gregorian if it is not a kind of a chafe. sent19: the maleate is a kind of a kvass. ; $proof$ = 
sent10 & sent3 -> int1: the maleate is a kind of sustainable thing that is a kind of a muscularity.; int1 -> int2: the maleate is a muscularity.; sent7 -> int3: the maleate is armillary if it is a kind of a muscularity.; int2 & int3 -> int4: the fact that the maleate is armillary is correct.; int4 -> int5: the maleate is armillary or it is not non-Gregorian or both.; int5 -> int6: there is something such that it is armillary and/or Gregorian.; int6 & sent9 -> hypothesis; __DISPROVED__