the reenactor is not trackless.
sent1: the fact that something is a obeah and fellates is not true if that it is not a Delaware is right. sent2: the scullery is not upper-class. sent3: something is not a Delaware if the fact that that it is nonintellectual and it is not a kind of a gorge is not wrong is not true. sent4: if the reenactor is tracked the scullery is upper-class and is archdiocesan. sent5: that the reenactor is not trackless is not incorrect if there exists something such that that it is a obeah and it does fellate is not right.
void -> assump1: Let's assume that the reenactor is tracked.; sent4 & assump1 -> int1: the scullery is both upper-class and archdiocesan.; int1 -> int2: the scullery is upper-class.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the reenactor is not trackless.
sent1 -> int4: the fact that the sand is a kind of a obeah and fellates is incorrect if it is not a Delaware.; sent3 -> int5: the reincarnation is not a Delaware if that it is not an intellectual and it is not a gorge is wrong.;
$hypothesis$ = the reenactor is not trackless. ; $context$ = sent1: the fact that something is a obeah and fellates is not true if that it is not a Delaware is right. sent2: the scullery is not upper-class. sent3: something is not a Delaware if the fact that that it is nonintellectual and it is not a kind of a gorge is not wrong is not true. sent4: if the reenactor is tracked the scullery is upper-class and is archdiocesan. sent5: that the reenactor is not trackless is not incorrect if there exists something such that that it is a obeah and it does fellate is not right. ; $proof$ = 
void -> assump1: Let's assume that the reenactor is tracked.; sent4 & assump1 -> int1: the scullery is both upper-class and archdiocesan.; int1 -> int2: the scullery is upper-class.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__