the burnous does negotiate burnous.
sent1: the interviewer is hypotonic if there exists something such that that it does domesticate is right. sent2: there is something such that it domesticates. sent3: if something is hypotonic it does corbel. sent4: if the guenon is a calf the burnous does negotiate burnous. sent5: the guenon is a calf if that the interviewer is not a corbelled is not right.
sent2 & sent1 -> int1: the interviewer is hypotonic.; sent3 -> int2: if the interviewer is hypotonic it is a kind of a corbelled.; int1 & int2 -> int3: that the interviewer does corbel is not wrong.; int3 & sent5 -> int4: the guenon is a kind of a calf.; int4 & sent4 -> hypothesis;
$hypothesis$ = the burnous does negotiate burnous. ; $context$ = sent1: the interviewer is hypotonic if there exists something such that that it does domesticate is right. sent2: there is something such that it domesticates. sent3: if something is hypotonic it does corbel. sent4: if the guenon is a calf the burnous does negotiate burnous. sent5: the guenon is a calf if that the interviewer is not a corbelled is not right. ; $proof$ = 
sent2 & sent1 -> int1: the interviewer is hypotonic.; sent3 -> int2: if the interviewer is hypotonic it is a kind of a corbelled.; int1 & int2 -> int3: that the interviewer does corbel is not wrong.; int3 & sent5 -> int4: the guenon is a kind of a calf.; int4 & sent4 -> hypothesis; __PROVED__