the fact that the cobbler does not receive enteron and it is not a breadfruit does not hold.
sent1: if something is not a kind of a clot then that it does not receive enteron and is not a kind of a breadfruit does not hold. sent2: if the fact that the enteron does clot hold then the vaulting is a Cercosporella. sent3: the fact that the cobbler is not a breadfruit is not incorrect. sent4: there exists something such that it does commutate. sent5: there exists something such that it is not an asthmatic. sent6: the enteron clots and it is carotid. sent7: if there is something such that it is not an asthmatic the centrist is participial and gastroduodenal. sent8: the centrist receives gauze if the vaulting is a kind of a Cercosporella. sent9: the cobbler does not receive enteron if there is something such that it does receive gauze and is participial.
sent6 -> int1: the enteron is a kind of a clot.; int1 & sent2 -> int2: the vaulting is a Cercosporella.; int2 & sent8 -> int3: the centrist does receive gauze.; sent5 & sent7 -> int4: the centrist is participial and it is not non-gastroduodenal.; int4 -> int5: the centrist is participial.; int3 & int5 -> int6: the centrist receives gauze and it is participial.; int6 -> int7: something does receive gauze and is participial.; int7 & sent9 -> int8: the cobbler does not receive enteron.; int8 & sent3 -> hypothesis;
the fact that the cobbler does not receive enteron and is not a kind of a breadfruit does not hold.
sent1 -> int9: if the enteron does not clot that it does not receive enteron and is not a kind of a breadfruit does not hold.;
$hypothesis$ = the fact that the cobbler does not receive enteron and it is not a breadfruit does not hold. ; $context$ = sent1: if something is not a kind of a clot then that it does not receive enteron and is not a kind of a breadfruit does not hold. sent2: if the fact that the enteron does clot hold then the vaulting is a Cercosporella. sent3: the fact that the cobbler is not a breadfruit is not incorrect. sent4: there exists something such that it does commutate. sent5: there exists something such that it is not an asthmatic. sent6: the enteron clots and it is carotid. sent7: if there is something such that it is not an asthmatic the centrist is participial and gastroduodenal. sent8: the centrist receives gauze if the vaulting is a kind of a Cercosporella. sent9: the cobbler does not receive enteron if there is something such that it does receive gauze and is participial. ; $proof$ = 
sent6 -> int1: the enteron is a kind of a clot.; int1 & sent2 -> int2: the vaulting is a Cercosporella.; int2 & sent8 -> int3: the centrist does receive gauze.; sent5 & sent7 -> int4: the centrist is participial and it is not non-gastroduodenal.; int4 -> int5: the centrist is participial.; int3 & int5 -> int6: the centrist receives gauze and it is participial.; int6 -> int7: something does receive gauze and is participial.; int7 & sent9 -> int8: the cobbler does not receive enteron.; int8 & sent3 -> hypothesis; __DISPROVED__