the cowage is puritanical.
sent1: the cowage does letter gasometer if it is arborical. sent2: the pipet letters UN. sent3: the cowage is a crook. sent4: the cowage is not non-Edwardian. sent5: the fact that the pituitary is arborical hold. sent6: if the cowage letters UN that it transaminates collective is correct. sent7: that the cowage letters pipet is correct. sent8: something is arborical if it does transaminate collective. sent9: the cowage letters UN if it is a Edwardian. sent10: if the cowage does letter gasometer it is puritanical.
sent9 & sent4 -> int1: the cowage letters UN.; int1 & sent6 -> int2: the cowage transaminates collective.; sent8 -> int3: the cowage is arborical if it does transaminate collective.; int2 & int3 -> int4: the cowage is arborical.; int4 & sent1 -> int5: the cowage letters gasometer.; int5 & sent10 -> hypothesis;
$hypothesis$ = the cowage is puritanical. ; $context$ = sent1: the cowage does letter gasometer if it is arborical. sent2: the pipet letters UN. sent3: the cowage is a crook. sent4: the cowage is not non-Edwardian. sent5: the fact that the pituitary is arborical hold. sent6: if the cowage letters UN that it transaminates collective is correct. sent7: that the cowage letters pipet is correct. sent8: something is arborical if it does transaminate collective. sent9: the cowage letters UN if it is a Edwardian. sent10: if the cowage does letter gasometer it is puritanical. ; $proof$ = 
sent9 & sent4 -> int1: the cowage letters UN.; int1 & sent6 -> int2: the cowage transaminates collective.; sent8 -> int3: the cowage is arborical if it does transaminate collective.; int2 & int3 -> int4: the cowage is arborical.; int4 & sent1 -> int5: the cowage letters gasometer.; int5 & sent10 -> hypothesis; __PROVED__