the shuttle is not a convertible.
sent1: the ylem is Amharic if there exists something such that it attacks. sent2: something is an incantation and a Amharic if it is not a convertible. sent3: that the base is not a Omani and is a prolapse is incorrect. sent4: if something is a Baku it is an attack. sent5: there is something such that it is not Amharic and not a Omani. sent6: something is not a Amharic but it is convertible if it is an attack. sent7: if that the ylem does not retract and is not a Dendromecon is incorrect then it retract. sent8: that the shuttle is not a kind of a convertible is correct if the base is non-Omani thing that is not a kind of a prolapse. sent9: the fact that something attacks hold.
void -> assump1: Let's assume that the fact that the base is non-Omani thing that is not a kind of a prolapse is not right.; assump1 -> int1: there exists something such that that it is not Omani and it is not a prolapse is not true.; sent9 & sent1 -> int2: the ylem is a Amharic.;
there exists something such that it is an incantation.
sent2 -> int3: if the ylem is not a convertible it is an incantation that is a Amharic.;
$hypothesis$ = the shuttle is not a convertible. ; $context$ = sent1: the ylem is Amharic if there exists something such that it attacks. sent2: something is an incantation and a Amharic if it is not a convertible. sent3: that the base is not a Omani and is a prolapse is incorrect. sent4: if something is a Baku it is an attack. sent5: there is something such that it is not Amharic and not a Omani. sent6: something is not a Amharic but it is convertible if it is an attack. sent7: if that the ylem does not retract and is not a Dendromecon is incorrect then it retract. sent8: that the shuttle is not a kind of a convertible is correct if the base is non-Omani thing that is not a kind of a prolapse. sent9: the fact that something attacks hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the base is non-Omani thing that is not a kind of a prolapse is not right.; assump1 -> int1: there exists something such that that it is not Omani and it is not a prolapse is not true.; sent9 & sent1 -> int2: the ylem is a Amharic.; __UNKNOWN__