that the motor is a whoopee but it is not sanitary does not hold.
sent1: the fact that everything is not sanitary is not wrong. sent2: that the warrener is a virology and it is sanitary does not hold. sent3: if the warrener is not sanitary then the fact that the motor is a whoopee but it is not sanitary is not correct. sent4: if the warrener is not a whoopee that the motor is sanitary and is a kind of a whoopee is not correct.
sent1 -> int1: the warrener is not sanitary.; sent3 & int1 -> hypothesis;
$hypothesis$ = that the motor is a whoopee but it is not sanitary does not hold. ; $context$ = sent1: the fact that everything is not sanitary is not wrong. sent2: that the warrener is a virology and it is sanitary does not hold. sent3: if the warrener is not sanitary then the fact that the motor is a whoopee but it is not sanitary is not correct. sent4: if the warrener is not a whoopee that the motor is sanitary and is a kind of a whoopee is not correct. ; $proof$ = 
sent1 -> int1: the warrener is not sanitary.; sent3 & int1 -> hypothesis; __PROVED__