if the genius is a coronilla that the cannibal is not a sojourn but it is sociobiologic is wrong.
sent1: the cannibal does not sojourn and is sociobiologic if the genius is a coronilla. sent2: if the ready-mix does not lace abscess the shellfish is not a kind of a sojourn. sent3: that that the ready-mix laces abscess and does sojourn is not right is not wrong. sent4: there is something such that it is a sugar-bush. sent5: the fact that the genius is sociobiologic and it is a coronilla is not right. sent6: that the ready-mix is not a sugar-bush but it is a kind of a sojourn does not hold. sent7: the shellfish is not a kind of a sojourn if the fact that the ready-mix does lace abscess and it is a sugar-bush is incorrect. sent8: if the shellfish does not sojourn that the cannibal is not a kind of a sojourn and is sociobiologic does not hold. sent9: the cannibal does not sojourn if the fact that the ready-mix laces abscess and is sociobiologic is wrong. sent10: if the cannibal is not a sojourn the fact that the ready-mix is a sojourn and laces abscess is incorrect. sent11: that the genius is not a sugar-bush but it is a coronilla is not correct. sent12: the shellfish laces abscess. sent13: that the cannibal does sojourn and it is sociobiologic is wrong if the shellfish does not sojourn. sent14: the ready-mix is a coronilla. sent15: the ready-mix does not sojourn but it does lace abscess. sent16: the fact that the cannibal is a sojourn and it is sociobiologic is not right. sent17: if the genius is a coronilla the fact that the cannibal sojourns and it is sociobiologic does not hold. sent18: if that the fact that the shellfish is a sugar-bush and sojourns is wrong is correct the ready-mix is not sociobiologic.
void -> assump1: Let's assume that the genius is a kind of a coronilla.; assump1 -> int1: there exists something such that it is a coronilla.;
$hypothesis$ = if the genius is a coronilla that the cannibal is not a sojourn but it is sociobiologic is wrong. ; $context$ = sent1: the cannibal does not sojourn and is sociobiologic if the genius is a coronilla. sent2: if the ready-mix does not lace abscess the shellfish is not a kind of a sojourn. sent3: that that the ready-mix laces abscess and does sojourn is not right is not wrong. sent4: there is something such that it is a sugar-bush. sent5: the fact that the genius is sociobiologic and it is a coronilla is not right. sent6: that the ready-mix is not a sugar-bush but it is a kind of a sojourn does not hold. sent7: the shellfish is not a kind of a sojourn if the fact that the ready-mix does lace abscess and it is a sugar-bush is incorrect. sent8: if the shellfish does not sojourn that the cannibal is not a kind of a sojourn and is sociobiologic does not hold. sent9: the cannibal does not sojourn if the fact that the ready-mix laces abscess and is sociobiologic is wrong. sent10: if the cannibal is not a sojourn the fact that the ready-mix is a sojourn and laces abscess is incorrect. sent11: that the genius is not a sugar-bush but it is a coronilla is not correct. sent12: the shellfish laces abscess. sent13: that the cannibal does sojourn and it is sociobiologic is wrong if the shellfish does not sojourn. sent14: the ready-mix is a coronilla. sent15: the ready-mix does not sojourn but it does lace abscess. sent16: the fact that the cannibal is a sojourn and it is sociobiologic is not right. sent17: if the genius is a coronilla the fact that the cannibal sojourns and it is sociobiologic does not hold. sent18: if that the fact that the shellfish is a sugar-bush and sojourns is wrong is correct the ready-mix is not sociobiologic. ; $proof$ = 
void -> assump1: Let's assume that the genius is a kind of a coronilla.; assump1 -> int1: there exists something such that it is a coronilla.; __UNKNOWN__