the muckraker carols glyburide.
sent1: there is something such that it is a kind of a brachyuran and it copes backspin. sent2: the stem-winder does not cope backspin if the squawbush is a kind of an agua. sent3: something does not carol glyburide if that it is not a Culbertson and it is not an agua is incorrect. sent4: the nose is not a Culbertson. sent5: the stem-winder does not cope backspin. sent6: the fact that something is unfamiliar if it is not an agua is not false. sent7: the stem-winder carols stem-winder and does not cope backspin. sent8: something is a brachyuran. sent9: the stem-winder is a kind of a brachyuran but it does not cope backspin if the squawbush is an agua. sent10: the muckraker does carol glyburide if the Grey does carol stem-winder. sent11: there is something such that it does not cope backspin. sent12: the fact that the nose is a kind of a Culbertson is correct if something that is a brachyuran does not cope backspin. sent13: if the squawbush is unfamiliar then the Grey does carol stem-winder. sent14: something carols stem-winder if it is not an operation.
void -> assump1: Let's assume that the squawbush is an agua.; sent9 & assump1 -> int1: the stem-winder is a brachyuran but it does not cope backspin.; int1 -> int2: there exists something such that it is a brachyuran and it does not cope backspin.; int2 & sent12 -> int3: the nose is a Culbertson.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squawbush is not an agua.; sent6 -> int6: the squawbush is unfamiliar if it is not a kind of an agua.; int5 & int6 -> int7: the squawbush is unfamiliar.; int7 & sent13 -> int8: the Grey does carol stem-winder.; int8 & sent10 -> hypothesis;
the muckraker does not carol glyburide.
sent3 -> int9: if that the muckraker is not a Culbertson and is not an agua does not hold then the fact that it does not carol glyburide hold.;
$hypothesis$ = the muckraker carols glyburide. ; $context$ = sent1: there is something such that it is a kind of a brachyuran and it copes backspin. sent2: the stem-winder does not cope backspin if the squawbush is a kind of an agua. sent3: something does not carol glyburide if that it is not a Culbertson and it is not an agua is incorrect. sent4: the nose is not a Culbertson. sent5: the stem-winder does not cope backspin. sent6: the fact that something is unfamiliar if it is not an agua is not false. sent7: the stem-winder carols stem-winder and does not cope backspin. sent8: something is a brachyuran. sent9: the stem-winder is a kind of a brachyuran but it does not cope backspin if the squawbush is an agua. sent10: the muckraker does carol glyburide if the Grey does carol stem-winder. sent11: there is something such that it does not cope backspin. sent12: the fact that the nose is a kind of a Culbertson is correct if something that is a brachyuran does not cope backspin. sent13: if the squawbush is unfamiliar then the Grey does carol stem-winder. sent14: something carols stem-winder if it is not an operation. ; $proof$ = 
void -> assump1: Let's assume that the squawbush is an agua.; sent9 & assump1 -> int1: the stem-winder is a brachyuran but it does not cope backspin.; int1 -> int2: there exists something such that it is a brachyuran and it does not cope backspin.; int2 & sent12 -> int3: the nose is a Culbertson.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squawbush is not an agua.; sent6 -> int6: the squawbush is unfamiliar if it is not a kind of an agua.; int5 & int6 -> int7: the squawbush is unfamiliar.; int7 & sent13 -> int8: the Grey does carol stem-winder.; int8 & sent10 -> hypothesis; __PROVED__