the chimneysweeper does work brinkmanship.
sent1: the fact that the progressive is not a electromyogram but it is bathyal does not hold if the fanjet is not a kind of a electromyogram. sent2: the chimneysweeper works brinkmanship if the fact that the progressive is both not a electromyogram and bathyal is wrong. sent3: that the fanjet is not a headlinese but commodious does not hold if there is something such that it is not commodious. sent4: if something is not bathyal then the fact that the fanjet is not a electromyogram but it is bathyal does not hold. sent5: there is something such that it is commodious. sent6: the fact that the progressive works brinkmanship is true if that it is both not commensal and a electromyogram does not hold. sent7: something is a commensal if that that it is both not a headlinese and commodious hold does not hold. sent8: the revolver is commodious. sent9: if the fanjet is sidearm it is not a electromyogram. sent10: if something is a commensal and/or it is sidearm it is not a electromyogram. sent11: if the chimneysweeper is bathyal and does not work brinkmanship the progressive is a commensal. sent12: something is not commodious. sent13: a sidearm thing is not a electromyogram. sent14: the chimneysweeper works brinkmanship if the progressive is a electromyogram. sent15: either something is not commensal or it does not work brinkmanship or both if it is sidearm.
sent7 -> int1: if the fact that the fanjet is not a kind of a headlinese but it is commodious does not hold it is a kind of a commensal.; sent12 & sent3 -> int2: the fact that the fanjet is not a headlinese and is commodious is wrong.; int1 & int2 -> int3: the fanjet is a commensal.; int3 -> int4: either the fanjet is a commensal or it is sidearm or both.; sent10 -> int5: if either the fanjet is a commensal or it is not non-sidearm or both then it is not a electromyogram.; int4 & int5 -> int6: the fanjet is not a electromyogram.; int6 & sent1 -> int7: the fact that the progressive is both not a electromyogram and bathyal is false.; int7 & sent2 -> hypothesis;
the chimneysweeper does not work brinkmanship.
sent15 -> int8: either the progressive is not commensal or it does not work brinkmanship or both if it is sidearm.;
$hypothesis$ = the chimneysweeper does work brinkmanship. ; $context$ = sent1: the fact that the progressive is not a electromyogram but it is bathyal does not hold if the fanjet is not a kind of a electromyogram. sent2: the chimneysweeper works brinkmanship if the fact that the progressive is both not a electromyogram and bathyal is wrong. sent3: that the fanjet is not a headlinese but commodious does not hold if there is something such that it is not commodious. sent4: if something is not bathyal then the fact that the fanjet is not a electromyogram but it is bathyal does not hold. sent5: there is something such that it is commodious. sent6: the fact that the progressive works brinkmanship is true if that it is both not commensal and a electromyogram does not hold. sent7: something is a commensal if that that it is both not a headlinese and commodious hold does not hold. sent8: the revolver is commodious. sent9: if the fanjet is sidearm it is not a electromyogram. sent10: if something is a commensal and/or it is sidearm it is not a electromyogram. sent11: if the chimneysweeper is bathyal and does not work brinkmanship the progressive is a commensal. sent12: something is not commodious. sent13: a sidearm thing is not a electromyogram. sent14: the chimneysweeper works brinkmanship if the progressive is a electromyogram. sent15: either something is not commensal or it does not work brinkmanship or both if it is sidearm. ; $proof$ = 
sent7 -> int1: if the fact that the fanjet is not a kind of a headlinese but it is commodious does not hold it is a kind of a commensal.; sent12 & sent3 -> int2: the fact that the fanjet is not a headlinese and is commodious is wrong.; int1 & int2 -> int3: the fanjet is a commensal.; int3 -> int4: either the fanjet is a commensal or it is sidearm or both.; sent10 -> int5: if either the fanjet is a commensal or it is not non-sidearm or both then it is not a electromyogram.; int4 & int5 -> int6: the fanjet is not a electromyogram.; int6 & sent1 -> int7: the fact that the progressive is both not a electromyogram and bathyal is false.; int7 & sent2 -> hypothesis; __PROVED__