the midland does bind secureness and blurs.
sent1: if something is a kind of a reign the fact that it does bind secureness hold. sent2: the midland blurs if the chutzpanik is more. sent3: if the chutzpanik is a eclat the midland does blur. sent4: the midland does pique c-note and does reign.
sent4 -> int1: the midland does reign.; sent1 -> int2: the fact that the midland binds secureness is true if it is a reign.; int1 & int2 -> int3: the midland binds secureness.;
$hypothesis$ = the midland does bind secureness and blurs. ; $context$ = sent1: if something is a kind of a reign the fact that it does bind secureness hold. sent2: the midland blurs if the chutzpanik is more. sent3: if the chutzpanik is a eclat the midland does blur. sent4: the midland does pique c-note and does reign. ; $proof$ = 
sent4 -> int1: the midland does reign.; sent1 -> int2: the fact that the midland binds secureness is true if it is a reign.; int1 & int2 -> int3: the midland binds secureness.; __UNKNOWN__