the cabana does not overawe wheat.
sent1: the cabana is oleophilic if the aftermath overawes wheat. sent2: if there is something such that that it is not a blocker and it is a kind of a loophole is not true then the aftermath is not oleophilic. sent3: there is something such that the fact that it is not a blocker and it is a loophole is wrong.
void -> assump1: Let's assume that that the cabana overawes wheat is correct.; sent3 & sent2 -> int1: the aftermath is not oleophilic.;
$hypothesis$ = the cabana does not overawe wheat. ; $context$ = sent1: the cabana is oleophilic if the aftermath overawes wheat. sent2: if there is something such that that it is not a blocker and it is a kind of a loophole is not true then the aftermath is not oleophilic. sent3: there is something such that the fact that it is not a blocker and it is a loophole is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the cabana overawes wheat is correct.; sent3 & sent2 -> int1: the aftermath is not oleophilic.; __UNKNOWN__