the TNF is a Vanern.
sent1: everything vitriols Woollcott. sent2: the TNF is not a Vanern and traffics Rioja if the dastard is not a Pedionomus. sent3: the dastard does tame and is livable. sent4: that the TNF is livable and it does tame is not right if the dastard does not vitriol Woollcott. sent5: if something does vitriol Woollcott and it is tamed then the fact that it is not a Pedionomus is not incorrect.
sent3 -> int1: the dastard does tame.; sent1 -> int2: the dastard does vitriol Woollcott.; int1 & int2 -> int3: that the dastard does vitriol Woollcott and tames hold.; sent5 -> int4: if the dastard does vitriol Woollcott and it is tamed it is not a kind of a Pedionomus.; int3 & int4 -> int5: the dastard is not a Pedionomus.; int5 & sent2 -> int6: the TNF is not a kind of a Vanern but it does traffic Rioja.; int6 -> hypothesis;
the TNF is not a kind of a Pedionomus.
$hypothesis$ = the TNF is a Vanern. ; $context$ = sent1: everything vitriols Woollcott. sent2: the TNF is not a Vanern and traffics Rioja if the dastard is not a Pedionomus. sent3: the dastard does tame and is livable. sent4: that the TNF is livable and it does tame is not right if the dastard does not vitriol Woollcott. sent5: if something does vitriol Woollcott and it is tamed then the fact that it is not a Pedionomus is not incorrect. ; $proof$ = 
sent3 -> int1: the dastard does tame.; sent1 -> int2: the dastard does vitriol Woollcott.; int1 & int2 -> int3: that the dastard does vitriol Woollcott and tames hold.; sent5 -> int4: if the dastard does vitriol Woollcott and it is tamed it is not a kind of a Pedionomus.; int3 & int4 -> int5: the dastard is not a Pedionomus.; int5 & sent2 -> int6: the TNF is not a kind of a Vanern but it does traffic Rioja.; int6 -> hypothesis; __DISPROVED__