that the succotash is a sexton but it is not punctureless if the hydrozoan is a kind of a buttinsky does not hold.
sent1: the succotash is a sexton but it is not punctureless if the hydrozoan does not revise librarianship. sent2: if the hydrozoan is not a mestiza and it is not lobate then it does not revise librarianship. sent3: something is both not a mestiza and not lobate if it is a buttinsky.
sent3 -> int1: the hydrozoan is both not a mestiza and not lobate if the fact that it is not a buttinsky is incorrect.; void -> assump1: Let's assume that the hydrozoan is a buttinsky.; int1 & assump1 -> int2: the hydrozoan is not a mestiza and it is not lobate.; int2 & sent2 -> int3: the fact that the hydrozoan does not revise librarianship hold.; int3 & sent1 -> int4: the succotash is a sexton but it is not punctureless.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the succotash is a sexton but it is not punctureless if the hydrozoan is a kind of a buttinsky does not hold. ; $context$ = sent1: the succotash is a sexton but it is not punctureless if the hydrozoan does not revise librarianship. sent2: if the hydrozoan is not a mestiza and it is not lobate then it does not revise librarianship. sent3: something is both not a mestiza and not lobate if it is a buttinsky. ; $proof$ = 
sent3 -> int1: the hydrozoan is both not a mestiza and not lobate if the fact that it is not a buttinsky is incorrect.; void -> assump1: Let's assume that the hydrozoan is a buttinsky.; int1 & assump1 -> int2: the hydrozoan is not a mestiza and it is not lobate.; int2 & sent2 -> int3: the fact that the hydrozoan does not revise librarianship hold.; int3 & sent1 -> int4: the succotash is a sexton but it is not punctureless.; [assump1] & int4 -> hypothesis; __DISPROVED__