the fact that the bankrupt does not consort lull and it is not a Celtic is not true.
sent1: the forestay is a retort. sent2: if the lull is not toothless then the fact that the bankrupt does not consort lull and it is not a Celtic is wrong. sent3: the fact that the bankrupt does not consort lull and is a Celtic is not correct. sent4: the chert is not a peavey. sent5: the forestay is not a Gossypium if the chert is a Gossypium and not a retort. sent6: something is both congregational and toothless if it is not a peavey. sent7: if the chert does not retort then the lull is not toothless. sent8: if the forestay is a Gossypium that is congregational then the chert is not a kind of a retort. sent9: that the bankrupt consorts lull but it is not a Celtic is not right. sent10: the forestay is a kind of a thrombolytic. sent11: the forestay is congregational. sent12: that the bankrupt does not consort lull but it is Celtic is not true if the lull is not toothless. sent13: if the lull is not toothless then that the bankrupt does consort lull but it is not a kind of a Celtic is not right. sent14: the forestay is a Gossypium.
sent14 & sent11 -> int1: the forestay is a Gossypium that is congregational.; sent8 & int1 -> int2: the chert is not a retort.; sent7 & int2 -> int3: the lull is not toothless.; sent2 & int3 -> hypothesis;
the bankrupt does not consort lull and it is non-Celtic.
sent6 -> int4: if the chert is not a kind of a peavey then it is congregational and it is toothless.; int4 & sent4 -> int5: the chert is congregational and is toothless.; int5 -> int6: the chert is congregational.;
$hypothesis$ = the fact that the bankrupt does not consort lull and it is not a Celtic is not true. ; $context$ = sent1: the forestay is a retort. sent2: if the lull is not toothless then the fact that the bankrupt does not consort lull and it is not a Celtic is wrong. sent3: the fact that the bankrupt does not consort lull and is a Celtic is not correct. sent4: the chert is not a peavey. sent5: the forestay is not a Gossypium if the chert is a Gossypium and not a retort. sent6: something is both congregational and toothless if it is not a peavey. sent7: if the chert does not retort then the lull is not toothless. sent8: if the forestay is a Gossypium that is congregational then the chert is not a kind of a retort. sent9: that the bankrupt consorts lull but it is not a Celtic is not right. sent10: the forestay is a kind of a thrombolytic. sent11: the forestay is congregational. sent12: that the bankrupt does not consort lull but it is Celtic is not true if the lull is not toothless. sent13: if the lull is not toothless then that the bankrupt does consort lull but it is not a kind of a Celtic is not right. sent14: the forestay is a Gossypium. ; $proof$ = 
sent14 & sent11 -> int1: the forestay is a Gossypium that is congregational.; sent8 & int1 -> int2: the chert is not a retort.; sent7 & int2 -> int3: the lull is not toothless.; sent2 & int3 -> hypothesis; __PROVED__