the Arabian is anticoagulative.
sent1: if that the Arabian does numb is not incorrect it is a Bahamian. sent2: if that the Arabian is not non-Bahamian is true it is anticoagulative. sent3: that the Arabian does numb and it is bolographic does not hold. sent4: the Arabian is allantoic if it is bolographic. sent5: the Arabian is a Bahamian if the fact that it does not numb and it is bolographic is false. sent6: the fact that the Arabian does not numb and is bolographic does not hold if the blowing is bolographic. sent7: that the Arabian does numb and is bolographic is incorrect if the blowing is bolographic. sent8: the Arabian is a centerboard. sent9: the Arabian dissociates and is allantoic if the blowing is not bolographic. sent10: the blowing numbs and it judders. sent11: if the fact that the Arabian does not dissociate and does numb does not hold it is allantoic. sent12: the blowing is allantoic and does dissociate. sent13: the fact that the fielder is bolographic is true. sent14: if something is allantoic it is not anticoagulative. sent15: if that the blowing is allantoic hold then it is bolographic. sent16: something is not bolographic if it does numb and is a Bahamian. sent17: the blowing dissociates. sent18: the fact that the Arabian is a kind of a Serbian is correct.
sent12 -> int1: the blowing is not non-allantoic.; int1 & sent15 -> int2: the fact that the blowing is bolographic is right.; int2 & sent6 -> int3: that the Arabian does not numb but it is bolographic is not correct.; int3 & sent5 -> int4: the Arabian is a Bahamian.; int4 & sent2 -> hypothesis;
the Arabian is not anticoagulative.
sent14 -> int5: the Arabian is not anticoagulative if it is allantoic.; sent16 -> int6: if the blowing does numb and is Bahamian it is not bolographic.; sent10 -> int7: the blowing numbs.;
$hypothesis$ = the Arabian is anticoagulative. ; $context$ = sent1: if that the Arabian does numb is not incorrect it is a Bahamian. sent2: if that the Arabian is not non-Bahamian is true it is anticoagulative. sent3: that the Arabian does numb and it is bolographic does not hold. sent4: the Arabian is allantoic if it is bolographic. sent5: the Arabian is a Bahamian if the fact that it does not numb and it is bolographic is false. sent6: the fact that the Arabian does not numb and is bolographic does not hold if the blowing is bolographic. sent7: that the Arabian does numb and is bolographic is incorrect if the blowing is bolographic. sent8: the Arabian is a centerboard. sent9: the Arabian dissociates and is allantoic if the blowing is not bolographic. sent10: the blowing numbs and it judders. sent11: if the fact that the Arabian does not dissociate and does numb does not hold it is allantoic. sent12: the blowing is allantoic and does dissociate. sent13: the fact that the fielder is bolographic is true. sent14: if something is allantoic it is not anticoagulative. sent15: if that the blowing is allantoic hold then it is bolographic. sent16: something is not bolographic if it does numb and is a Bahamian. sent17: the blowing dissociates. sent18: the fact that the Arabian is a kind of a Serbian is correct. ; $proof$ = 
sent12 -> int1: the blowing is not non-allantoic.; int1 & sent15 -> int2: the fact that the blowing is bolographic is right.; int2 & sent6 -> int3: that the Arabian does not numb but it is bolographic is not correct.; int3 & sent5 -> int4: the Arabian is a Bahamian.; int4 & sent2 -> hypothesis; __PROVED__