the fact that if the congou is blastomeric then the cone drapes absorbent does not hold.
sent1: the congou does drape absorbent. sent2: the cone does rewrite Vizcaino. sent3: the cone is a merestone if the belch drapes absorbent. sent4: the cone rewrites congou. sent5: if something is a beechnut then it is not a picture and is a channel. sent6: if something does not drape absorbent then it is blastomeric and a merestone. sent7: that the cone is a merestone is true. sent8: there is something such that it is a kind of a Belgian. sent9: the belch is blastomeric. sent10: if something is a Belgian then the congou is a kind of a beechnut and is not non-penal. sent11: if the belch is a kind of a merestone then the cone drapes absorbent. sent12: the belch is a kind of a merestone if the congou is blastomeric.
void -> assump1: Let's assume that the congou is not non-blastomeric.; sent12 & assump1 -> int1: the fact that the belch is a merestone is not false.; sent11 & int1 -> int2: the cone drapes absorbent.; [assump1] & int2 -> hypothesis;
the footstool is blastomeric.
sent6 -> int3: if the footstool does not drape absorbent then it is blastomeric a merestone.; sent5 -> int4: the congou does not picture and is a channel if it is a kind of a beechnut.; sent8 & sent10 -> int5: the congou is a beechnut that is penal.; int5 -> int6: the congou is a beechnut.; int4 & int6 -> int7: the congou is not a kind of a picture and does channel.; int7 -> int8: there is something such that it does not picture and it is a channel.;
$hypothesis$ = the fact that if the congou is blastomeric then the cone drapes absorbent does not hold. ; $context$ = sent1: the congou does drape absorbent. sent2: the cone does rewrite Vizcaino. sent3: the cone is a merestone if the belch drapes absorbent. sent4: the cone rewrites congou. sent5: if something is a beechnut then it is not a picture and is a channel. sent6: if something does not drape absorbent then it is blastomeric and a merestone. sent7: that the cone is a merestone is true. sent8: there is something such that it is a kind of a Belgian. sent9: the belch is blastomeric. sent10: if something is a Belgian then the congou is a kind of a beechnut and is not non-penal. sent11: if the belch is a kind of a merestone then the cone drapes absorbent. sent12: the belch is a kind of a merestone if the congou is blastomeric. ; $proof$ = 
void -> assump1: Let's assume that the congou is not non-blastomeric.; sent12 & assump1 -> int1: the fact that the belch is a merestone is not false.; sent11 & int1 -> int2: the cone drapes absorbent.; [assump1] & int2 -> hypothesis; __DISPROVED__