the benefactor articles raging.
sent1: the grouseberry does not article call-board or is piscine or both if the bovid article call-board. sent2: if that the attendant does article call-board and it is a libido is not true the benefactor does not article raging. sent3: if the attendant is a kind of a libido the bovid does article call-board. sent4: the Thatcherite is not Pasteurian or it is not an illness or both if something is not metamorphous. sent5: there exists something such that it is not a choc. sent6: if something is not unpublishable that it does article call-board and is a kind of a libido does not hold. sent7: something does not article Cimex if it is not Pasteurian or it is not an illness or both. sent8: there is something such that it is a kind of an adjustment. sent9: if that the bovid is a choc is true that it does not article Cimex and it is piscine does not hold. sent10: the benefactor does article raging if the fact that the gunmetal is not an adjustment and it is not a choc does not hold. sent11: the fact that the Bunsen is not metamorphous hold. sent12: the Thatcherite is not publishable if the grouseberry does not article call-board and/or it is piscine. sent13: if something is a libido it is unpublishable. sent14: the aerolite is a kind of a choc if the Thatcherite is unpublishable and does not article Cimex. sent15: the attendant is a libido. sent16: the coauthor is not a choc. sent17: if the aerolite is a choc then the fact that the gunmetal is not an adjustment and is not a choc does not hold.
sent3 & sent15 -> int1: the bovid does article call-board.; int1 & sent1 -> int2: the grouseberry does not article call-board and/or is piscine.; int2 & sent12 -> int3: the Thatcherite is unpublishable.; sent7 -> int4: that if the Thatcherite is not Pasteurian or is not the illness or both then the Thatcherite does not article Cimex is not wrong.; sent11 -> int5: there is something such that it is not metamorphous.; int5 & sent4 -> int6: the Thatcherite is not Pasteurian and/or it is not an illness.; int4 & int6 -> int7: the fact that the Thatcherite does not article Cimex hold.; int3 & int7 -> int8: the Thatcherite is unpublishable but it does not article Cimex.; int8 & sent14 -> int9: the aerolite is a choc.; int9 & sent17 -> int10: the fact that the gunmetal is not a kind of an adjustment and is not a kind of a choc is incorrect.; int10 & sent10 -> hypothesis;
the benefactor does not article raging.
sent6 -> int11: the fact that the attendant does article call-board and it is a kind of a libido is false if it is publishable.;
$hypothesis$ = the benefactor articles raging. ; $context$ = sent1: the grouseberry does not article call-board or is piscine or both if the bovid article call-board. sent2: if that the attendant does article call-board and it is a libido is not true the benefactor does not article raging. sent3: if the attendant is a kind of a libido the bovid does article call-board. sent4: the Thatcherite is not Pasteurian or it is not an illness or both if something is not metamorphous. sent5: there exists something such that it is not a choc. sent6: if something is not unpublishable that it does article call-board and is a kind of a libido does not hold. sent7: something does not article Cimex if it is not Pasteurian or it is not an illness or both. sent8: there is something such that it is a kind of an adjustment. sent9: if that the bovid is a choc is true that it does not article Cimex and it is piscine does not hold. sent10: the benefactor does article raging if the fact that the gunmetal is not an adjustment and it is not a choc does not hold. sent11: the fact that the Bunsen is not metamorphous hold. sent12: the Thatcherite is not publishable if the grouseberry does not article call-board and/or it is piscine. sent13: if something is a libido it is unpublishable. sent14: the aerolite is a kind of a choc if the Thatcherite is unpublishable and does not article Cimex. sent15: the attendant is a libido. sent16: the coauthor is not a choc. sent17: if the aerolite is a choc then the fact that the gunmetal is not an adjustment and is not a choc does not hold. ; $proof$ = 
sent3 & sent15 -> int1: the bovid does article call-board.; int1 & sent1 -> int2: the grouseberry does not article call-board and/or is piscine.; int2 & sent12 -> int3: the Thatcherite is unpublishable.; sent7 -> int4: that if the Thatcherite is not Pasteurian or is not the illness or both then the Thatcherite does not article Cimex is not wrong.; sent11 -> int5: there is something such that it is not metamorphous.; int5 & sent4 -> int6: the Thatcherite is not Pasteurian and/or it is not an illness.; int4 & int6 -> int7: the fact that the Thatcherite does not article Cimex hold.; int3 & int7 -> int8: the Thatcherite is unpublishable but it does not article Cimex.; int8 & sent14 -> int9: the aerolite is a choc.; int9 & sent17 -> int10: the fact that the gunmetal is not a kind of an adjustment and is not a kind of a choc is incorrect.; int10 & sent10 -> hypothesis; __PROVED__