the fact that the utilitarian does not philander overlordship and is morbilliform does not hold.
sent1: the utilitarian is a kind of a diazoxide that is unresponsive. sent2: if something is a diazoxide then the fact that it does not philander overlordship and it is not non-morbilliform is incorrect. sent3: if something does philander fantan then that it is a kind of non-agranulocytic thing that hurtles is wrong. sent4: that something does philander overlordship and it is morbilliform does not hold if it is unresponsive.
sent1 -> int1: the utilitarian is a diazoxide.; sent2 -> int2: the fact that the utilitarian does not philander overlordship but it is morbilliform is not true if it is a diazoxide.; int1 & int2 -> hypothesis;
$hypothesis$ = the fact that the utilitarian does not philander overlordship and is morbilliform does not hold. ; $context$ = sent1: the utilitarian is a kind of a diazoxide that is unresponsive. sent2: if something is a diazoxide then the fact that it does not philander overlordship and it is not non-morbilliform is incorrect. sent3: if something does philander fantan then that it is a kind of non-agranulocytic thing that hurtles is wrong. sent4: that something does philander overlordship and it is morbilliform does not hold if it is unresponsive. ; $proof$ = 
sent1 -> int1: the utilitarian is a diazoxide.; sent2 -> int2: the fact that the utilitarian does not philander overlordship but it is morbilliform is not true if it is a diazoxide.; int1 & int2 -> hypothesis; __PROVED__