the Mogul is not a sagebrush.
sent1: if the power invites Ayr the fact that the Mogul is a West-sider and/or it does not swab is incorrect. sent2: something is not a sagebrush if that it is a West-sider or it is a swabbing or both is not true. sent3: the fact that something is not a sagebrush if that it is a West-sider or it is not a swabbing or both is not true is not incorrect. sent4: The Ayr does invite power. sent5: if the power invites Ayr then the Mogul swabs. sent6: the power does invite Ayr.
sent1 & sent6 -> int1: that the Mogul is either a West-sider or not a swabbing or both is not correct.; sent3 -> int2: if that the Mogul is a West-sider and/or it is not a swabbing does not hold it is not a kind of a sagebrush.; int1 & int2 -> hypothesis;
$hypothesis$ = the Mogul is not a sagebrush. ; $context$ = sent1: if the power invites Ayr the fact that the Mogul is a West-sider and/or it does not swab is incorrect. sent2: something is not a sagebrush if that it is a West-sider or it is a swabbing or both is not true. sent3: the fact that something is not a sagebrush if that it is a West-sider or it is not a swabbing or both is not true is not incorrect. sent4: The Ayr does invite power. sent5: if the power invites Ayr then the Mogul swabs. sent6: the power does invite Ayr. ; $proof$ = 
sent1 & sent6 -> int1: that the Mogul is either a West-sider or not a swabbing or both is not correct.; sent3 -> int2: if that the Mogul is a West-sider and/or it is not a swabbing does not hold it is not a kind of a sagebrush.; int1 & int2 -> hypothesis; __PROVED__