there is something such that if it is not a Pharaoh it is a kind of non-sober thing that does not wrest mincemeat.
sent1: if the 1-dodecanol is not nonlinguistic it is both not an adequacy and a Pharaoh. sent2: something is non-sober thing that does not wrest mincemeat if it is not a Pharaoh. sent3: something is not unusual and it does not wrest rumble if it does not jazz undertone.
sent2 -> int1: the 1-dodecanol is not sober and does not wrest mincemeat if it is not a Pharaoh.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Pharaoh it is a kind of non-sober thing that does not wrest mincemeat. ; $context$ = sent1: if the 1-dodecanol is not nonlinguistic it is both not an adequacy and a Pharaoh. sent2: something is non-sober thing that does not wrest mincemeat if it is not a Pharaoh. sent3: something is not unusual and it does not wrest rumble if it does not jazz undertone. ; $proof$ = 
sent2 -> int1: the 1-dodecanol is not sober and does not wrest mincemeat if it is not a Pharaoh.; int1 -> hypothesis; __PROVED__