the performance is not a kind of a sweetbread.
sent1: there exists something such that that it is a bus is true. sent2: the deamination does not reorient rubbing and does bus. sent3: something that is not a hunger is not a sweetbread. sent4: if something that does not reorient rubbing does bus the lamasery does refract. sent5: the confectionery shoots if the lamasery does refract. sent6: if the confectionery is a shoot then the performance does not hunger. sent7: something that does not hunger does shoot and does refract.
sent2 -> int1: there is something such that it does not reorient rubbing and it does bus.; int1 & sent4 -> int2: the lamasery refracts.; int2 & sent5 -> int3: that the confectionery is a shoot is correct.; int3 & sent6 -> int4: the performance does not hunger.; sent3 -> int5: the performance is not a sweetbread if it does not hunger.; int4 & int5 -> hypothesis;
the performance is a sweetbread.
sent7 -> int6: the lamasery shoots and it does refract if it is not a hunger.;
$hypothesis$ = the performance is not a kind of a sweetbread. ; $context$ = sent1: there exists something such that that it is a bus is true. sent2: the deamination does not reorient rubbing and does bus. sent3: something that is not a hunger is not a sweetbread. sent4: if something that does not reorient rubbing does bus the lamasery does refract. sent5: the confectionery shoots if the lamasery does refract. sent6: if the confectionery is a shoot then the performance does not hunger. sent7: something that does not hunger does shoot and does refract. ; $proof$ = 
sent2 -> int1: there is something such that it does not reorient rubbing and it does bus.; int1 & sent4 -> int2: the lamasery refracts.; int2 & sent5 -> int3: that the confectionery is a shoot is correct.; int3 & sent6 -> int4: the performance does not hunger.; sent3 -> int5: the performance is not a sweetbread if it does not hunger.; int4 & int5 -> hypothesis; __PROVED__