that the gnat is a thatch but it is not a cockleshell is not correct.
sent1: that the gnat does thatch and is not a cockleshell does not hold if the newt is a kind of a thatch. sent2: the fact that the gnat is a thatch and a cockleshell does not hold. sent3: the newt is a thatch and does outshout clientele.
sent3 -> int1: the newt thatches.; int1 & sent1 -> hypothesis;
$hypothesis$ = that the gnat is a thatch but it is not a cockleshell is not correct. ; $context$ = sent1: that the gnat does thatch and is not a cockleshell does not hold if the newt is a kind of a thatch. sent2: the fact that the gnat is a thatch and a cockleshell does not hold. sent3: the newt is a thatch and does outshout clientele. ; $proof$ = 
sent3 -> int1: the newt thatches.; int1 & sent1 -> hypothesis; __PROVED__