that the wits is a surrebutter is not wrong.
sent1: the silurid is a phial. sent2: the TC is not poetic if the silurid is not a deathtrap. sent3: if a phial is a electrotherapist it is not a deathtrap. sent4: if the TC is not a kind of a Ecballium or it is not poetic or both then the wits does torment Lycaeon. sent5: if something torments Lycaeon then the fact that it is a surrebutter hold. sent6: the silurid is a electrotherapist.
sent3 -> int1: if the silurid is a phial and it is a electrotherapist it is not a deathtrap.; sent1 & sent6 -> int2: the silurid is a kind of a phial that is a electrotherapist.; int1 & int2 -> int3: the silurid is not a deathtrap.; int3 & sent2 -> int4: that the TC is not poetic is correct.; int4 -> int5: the TC is not a Ecballium and/or is not poetic.; int5 & sent4 -> int6: the wits torments Lycaeon.; sent5 -> int7: the wits is a kind of a surrebutter if it torments Lycaeon.; int6 & int7 -> hypothesis;
$hypothesis$ = that the wits is a surrebutter is not wrong. ; $context$ = sent1: the silurid is a phial. sent2: the TC is not poetic if the silurid is not a deathtrap. sent3: if a phial is a electrotherapist it is not a deathtrap. sent4: if the TC is not a kind of a Ecballium or it is not poetic or both then the wits does torment Lycaeon. sent5: if something torments Lycaeon then the fact that it is a surrebutter hold. sent6: the silurid is a electrotherapist. ; $proof$ = 
sent3 -> int1: if the silurid is a phial and it is a electrotherapist it is not a deathtrap.; sent1 & sent6 -> int2: the silurid is a kind of a phial that is a electrotherapist.; int1 & int2 -> int3: the silurid is not a deathtrap.; int3 & sent2 -> int4: that the TC is not poetic is correct.; int4 -> int5: the TC is not a Ecballium and/or is not poetic.; int5 & sent4 -> int6: the wits torments Lycaeon.; sent5 -> int7: the wits is a kind of a surrebutter if it torments Lycaeon.; int6 & int7 -> hypothesis; __PROVED__