the nitrofuran is not a danseur if that the hangman is a kind of a Nativity is not incorrect.
sent1: if the fact that the hangman does not foot and it is not a covert is not right then the fact that the nitrofuran is not a danseur hold. sent2: if the dinnerware is not a Nativity and it is not a Heaviside then the nitrofuran is a Nativity. sent3: something is both not a Nativity and not a Heaviside if it is a danseur. sent4: if something is a Nativity then that it does not foot and is not a covert is false. sent5: if something is a footed that it is both not a Nativity and not a danseur does not hold. sent6: if the hangman is a Nativity then that it is a kind of a footed and is not covert is not correct. sent7: that something is both not a footed and not non-covert is incorrect if it is a kind of a Nativity.
sent4 -> int1: that the fact that the hangman is not a footed and it is not covert is incorrect hold if it is a Nativity.; void -> assump1: Let's assume that the hangman is a Nativity.; int1 & assump1 -> int2: that the hangman does not foot and it is non-covert is false.; sent1 & int2 -> int3: the nitrofuran is not a danseur.; [assump1] & int3 -> hypothesis;
the nitrofuran is a Nativity.
sent3 -> int4: if the dinnerware is a danseur then it is both not a Nativity and not a Heaviside.;
$hypothesis$ = the nitrofuran is not a danseur if that the hangman is a kind of a Nativity is not incorrect. ; $context$ = sent1: if the fact that the hangman does not foot and it is not a covert is not right then the fact that the nitrofuran is not a danseur hold. sent2: if the dinnerware is not a Nativity and it is not a Heaviside then the nitrofuran is a Nativity. sent3: something is both not a Nativity and not a Heaviside if it is a danseur. sent4: if something is a Nativity then that it does not foot and is not a covert is false. sent5: if something is a footed that it is both not a Nativity and not a danseur does not hold. sent6: if the hangman is a Nativity then that it is a kind of a footed and is not covert is not correct. sent7: that something is both not a footed and not non-covert is incorrect if it is a kind of a Nativity. ; $proof$ = 
sent4 -> int1: that the fact that the hangman is not a footed and it is not covert is incorrect hold if it is a Nativity.; void -> assump1: Let's assume that the hangman is a Nativity.; int1 & assump1 -> int2: that the hangman does not foot and it is non-covert is false.; sent1 & int2 -> int3: the nitrofuran is not a danseur.; [assump1] & int3 -> hypothesis; __PROVED__