the lead loots vision if the geotropism is a Turfan.
sent1: something is umbelliferous and it is assertive if it is not a Turfan. sent2: the xerophyte is assertive and/or is not a Abecedarian. sent3: the carminative is carpellary but it is not rimless. sent4: the fact that the lead does loot vision and it is a jugular is not false if the geotropism is not emotional. sent5: the geotropism is not emotional if it does cast turnery. sent6: if the geotropism is a Turfan but it is not assertive then that it is a alkylbenzenesulfonate hold. sent7: if the lead is assertive the xerophyte does not loot vision. sent8: if the xerophyte is assertive and/or it is not a Abecedarian the geotropism is not a alkylbenzenesulfonate. sent9: that the lead is not a Turfan is not wrong. sent10: the lead is assertive. sent11: if the xerophyte loots vision the lead is assertive. sent12: the xerophyte is a kind of a Turfan if the geotropism is assertive. sent13: the lead is emotional. sent14: the geotropism is not a alkylbenzenesulfonate if the xerophyte is assertive.
sent8 & sent2 -> int1: the fact that the geotropism is not a kind of a alkylbenzenesulfonate hold.; void -> assump1: Let's assume that the geotropism is a Turfan.; int1 & assump1 -> int2: the geotropism is a kind of a Turfan but it is not a kind of a alkylbenzenesulfonate.;
the geotropism is umbelliferous and it is assertive.
sent1 -> int3: if the geotropism is not a Turfan then it is both umbelliferous and assertive.;
$hypothesis$ = the lead loots vision if the geotropism is a Turfan. ; $context$ = sent1: something is umbelliferous and it is assertive if it is not a Turfan. sent2: the xerophyte is assertive and/or is not a Abecedarian. sent3: the carminative is carpellary but it is not rimless. sent4: the fact that the lead does loot vision and it is a jugular is not false if the geotropism is not emotional. sent5: the geotropism is not emotional if it does cast turnery. sent6: if the geotropism is a Turfan but it is not assertive then that it is a alkylbenzenesulfonate hold. sent7: if the lead is assertive the xerophyte does not loot vision. sent8: if the xerophyte is assertive and/or it is not a Abecedarian the geotropism is not a alkylbenzenesulfonate. sent9: that the lead is not a Turfan is not wrong. sent10: the lead is assertive. sent11: if the xerophyte loots vision the lead is assertive. sent12: the xerophyte is a kind of a Turfan if the geotropism is assertive. sent13: the lead is emotional. sent14: the geotropism is not a alkylbenzenesulfonate if the xerophyte is assertive. ; $proof$ = 
sent8 & sent2 -> int1: the fact that the geotropism is not a kind of a alkylbenzenesulfonate hold.; void -> assump1: Let's assume that the geotropism is a Turfan.; int1 & assump1 -> int2: the geotropism is a kind of a Turfan but it is not a kind of a alkylbenzenesulfonate.; __UNKNOWN__