that there exists something such that it is a transmittance is not right.
sent1: the angwantibo does not singe. sent2: if that the angwantibo is a kind of a minutes that does not singe does not hold the hackberry is a transmittance. sent3: that the angwantibo denies areola is not false if it is not a dodo. sent4: the angwantibo does deny areola. sent5: the angwantibo is not a dodo. sent6: if something is a kind of a minutes and does not singe it is not a artilleryman. sent7: that the angwantibo is a kind of a minutes that does singe does not hold. sent8: if the hackberry is not a artilleryman then it is a kind of a transmittance that does singe. sent9: if the angwantibo is not a dodo it is a artilleryman that does deny areola. sent10: if something is a minutes and it does singe it is not a artilleryman. sent11: the angwantibo is not a kind of a artilleryman if it is a kind of a minutes and it singes. sent12: if the angwantibo does singe the hackberry is a transmittance.
sent6 -> int1: the fact that the angwantibo is not a artilleryman is not incorrect if it is a kind of a minutes and does not singe.; void -> assump1: Let's assume that the angwantibo is a kind of a minutes but it does not singe.; int1 & assump1 -> int2: the angwantibo is not a artilleryman.; sent9 & sent5 -> int3: the angwantibo is a kind of a artilleryman that denies areola.; int3 -> int4: the angwantibo is a artilleryman.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the angwantibo is a minutes that does not singe does not hold.; int6 & sent2 -> int7: the hackberry is a transmittance.; int7 -> hypothesis;
$hypothesis$ = that there exists something such that it is a transmittance is not right. ; $context$ = sent1: the angwantibo does not singe. sent2: if that the angwantibo is a kind of a minutes that does not singe does not hold the hackberry is a transmittance. sent3: that the angwantibo denies areola is not false if it is not a dodo. sent4: the angwantibo does deny areola. sent5: the angwantibo is not a dodo. sent6: if something is a kind of a minutes and does not singe it is not a artilleryman. sent7: that the angwantibo is a kind of a minutes that does singe does not hold. sent8: if the hackberry is not a artilleryman then it is a kind of a transmittance that does singe. sent9: if the angwantibo is not a dodo it is a artilleryman that does deny areola. sent10: if something is a minutes and it does singe it is not a artilleryman. sent11: the angwantibo is not a kind of a artilleryman if it is a kind of a minutes and it singes. sent12: if the angwantibo does singe the hackberry is a transmittance. ; $proof$ = 
sent6 -> int1: the fact that the angwantibo is not a artilleryman is not incorrect if it is a kind of a minutes and does not singe.; void -> assump1: Let's assume that the angwantibo is a kind of a minutes but it does not singe.; int1 & assump1 -> int2: the angwantibo is not a artilleryman.; sent9 & sent5 -> int3: the angwantibo is a kind of a artilleryman that denies areola.; int3 -> int4: the angwantibo is a artilleryman.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the angwantibo is a minutes that does not singe does not hold.; int6 & sent2 -> int7: the hackberry is a transmittance.; int7 -> hypothesis; __DISPROVED__