the fact that the BA is non-anthracitic or it is not a superload or both is not correct.
sent1: a non-economics thing is not unpermissive and is quintessential. sent2: if the fact that the BA is diamantine and/or it is not unpermissive is incorrect then it does not consider. sent3: if the cardhouse is not economics but it is a network the needlepoint is economics. sent4: the cardhouse is not a kind of a respite if that it does not comfort Grotius and it is not a network is wrong. sent5: the BA considers and is diamantine if that the needlepoint is permissive is not false. sent6: if something considers then it is not anthracitic or is not a kind of a superload or both. sent7: if the cardhouse is not a kind of a respite the fact that it is not quintessential and it is economics does not hold. sent8: something that is a respite is non-economics a network. sent9: that the cardhouse does not comfort Grotius and is not a network is false. sent10: if something does comfort Grotius the fact that it is a respite is not wrong. sent11: if the fact that something is a phlebectomy is right it does comfort Grotius. sent12: if the Scrabble draws needlepoint the cardhouse is a kind of a phlebectomy. sent13: that the BA is diamantine or is not unpermissive or both is incorrect.
sent2 & sent13 -> int1: the BA does not consider.;
the BA is not anthracitic or it is not a superload or both.
sent6 -> int2: the BA is not anthracitic or is not a superload or both if it considers.; sent1 -> int3: the needlepoint is a kind of permissive thing that is quintessential if it is not economics.; sent8 -> int4: if the cardhouse is a respite it is not economics and it is a kind of a network.; sent10 -> int5: the fact that the cardhouse is the respite if the cardhouse does comfort Grotius is not wrong.; sent11 -> int6: the cardhouse does comfort Grotius if it is a phlebectomy.;
$hypothesis$ = the fact that the BA is non-anthracitic or it is not a superload or both is not correct. ; $context$ = sent1: a non-economics thing is not unpermissive and is quintessential. sent2: if the fact that the BA is diamantine and/or it is not unpermissive is incorrect then it does not consider. sent3: if the cardhouse is not economics but it is a network the needlepoint is economics. sent4: the cardhouse is not a kind of a respite if that it does not comfort Grotius and it is not a network is wrong. sent5: the BA considers and is diamantine if that the needlepoint is permissive is not false. sent6: if something considers then it is not anthracitic or is not a kind of a superload or both. sent7: if the cardhouse is not a kind of a respite the fact that it is not quintessential and it is economics does not hold. sent8: something that is a respite is non-economics a network. sent9: that the cardhouse does not comfort Grotius and is not a network is false. sent10: if something does comfort Grotius the fact that it is a respite is not wrong. sent11: if the fact that something is a phlebectomy is right it does comfort Grotius. sent12: if the Scrabble draws needlepoint the cardhouse is a kind of a phlebectomy. sent13: that the BA is diamantine or is not unpermissive or both is incorrect. ; $proof$ = 
sent2 & sent13 -> int1: the BA does not consider.; __UNKNOWN__