the Butler does not capitulate.
sent1: the top is a kind of a throb. sent2: something is not immoral if it does still accompaniment. sent3: if that the Butler is not a perjurer or a backhoe or both is wrong then it is not penitent. sent4: the Host is not a kind of a provocation. sent5: if the fact that something is not a backhoe or behavioral or both is not correct then it is not a kind of a provocation. sent6: that something is horary and it is a graphic is false if it is not a provocation. sent7: the Butler does not capitulate if the fact that the top is horary thing that is a kind of a graphic is incorrect. sent8: if something throbs then the fact that it is not a kind of a backhoe or it is behavioral or both is false. sent9: that something is a kind of a clinch and it stills Butler is not correct if it is nonterritorial. sent10: something is both not a provocation and a throb if that it is not a graphic is true.
sent8 -> int1: if the top throbs then that either it is not a backhoe or it is behavioral or both is not right.; int1 & sent1 -> int2: the fact that either the top is not a backhoe or it is behavioral or both does not hold.; sent5 -> int3: the top is not a provocation if the fact that it is either not a backhoe or behavioral or both is not right.; int2 & int3 -> int4: the top is not a kind of a provocation.; sent6 -> int5: that the top is horary and a graphic does not hold if it is not a provocation.; int4 & int5 -> int6: that the top is horary and it is graphic is not true.; int6 & sent7 -> hypothesis;
the Orange is not horary.
sent10 -> int7: if the Orange is not a graphic that it is not a provocation and throbs is right.;
$hypothesis$ = the Butler does not capitulate. ; $context$ = sent1: the top is a kind of a throb. sent2: something is not immoral if it does still accompaniment. sent3: if that the Butler is not a perjurer or a backhoe or both is wrong then it is not penitent. sent4: the Host is not a kind of a provocation. sent5: if the fact that something is not a backhoe or behavioral or both is not correct then it is not a kind of a provocation. sent6: that something is horary and it is a graphic is false if it is not a provocation. sent7: the Butler does not capitulate if the fact that the top is horary thing that is a kind of a graphic is incorrect. sent8: if something throbs then the fact that it is not a kind of a backhoe or it is behavioral or both is false. sent9: that something is a kind of a clinch and it stills Butler is not correct if it is nonterritorial. sent10: something is both not a provocation and a throb if that it is not a graphic is true. ; $proof$ = 
sent8 -> int1: if the top throbs then that either it is not a backhoe or it is behavioral or both is not right.; int1 & sent1 -> int2: the fact that either the top is not a backhoe or it is behavioral or both does not hold.; sent5 -> int3: the top is not a provocation if the fact that it is either not a backhoe or behavioral or both is not right.; int2 & int3 -> int4: the top is not a kind of a provocation.; sent6 -> int5: that the top is horary and a graphic does not hold if it is not a provocation.; int4 & int5 -> int6: that the top is horary and it is graphic is not true.; int6 & sent7 -> hypothesis; __PROVED__