there is something such that if it is a Norn then that it is not a kind of a disinfectant and it is an election is correct.
sent1: something is not a disinfectant but it is an election if it is a Norn. sent2: something is not a disinfectant if it is a Norn.
sent1 -> int1: the fact that the petter is both not a disinfectant and an election is correct if that it is a Norn is not incorrect.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a Norn then that it is not a kind of a disinfectant and it is an election is correct. ; $context$ = sent1: something is not a disinfectant but it is an election if it is a Norn. sent2: something is not a disinfectant if it is a Norn. ; $proof$ = 
sent1 -> int1: the fact that the petter is both not a disinfectant and an election is correct if that it is a Norn is not incorrect.; int1 -> hypothesis; __PROVED__