if the myeloblast is a Shavian then the Balkans is a frump.
sent1: the myeloblast subtilizes if the ATM is a kind of a Shavian. sent2: if the myeloblast is Shavian then that the fact that the ATM does satellite but it does not subtilize does not hold is true. sent3: that the moviegoer is not postmillennial and it is not benedictory does not hold. sent4: if the ATM does not rid ammonia the myeloblast is a frump but it is not a Shavian. sent5: if the myeloblast is Shavian then the fact that the ATM satellites and subtilizes is not right. sent6: something does not bud if it is not a kind of a obliqueness. sent7: if something is not a budding it is not plus and it is not a flies. sent8: the fact that if the subjectivist is not a kind of a flies then that the Balkans does not rid ammonia and does not rend is not right is true. sent9: the fact that the ATM does not rid ammonia if the fact that that the Balkans does not rid ammonia and does not rend is right is wrong is right.
void -> assump1: Let's assume that the myeloblast is Shavian.; sent2 & assump1 -> int1: that the ATM satellites and does not subtilize is false.;
the fact that the myeloblast is a frump is true.
sent7 -> int2: if the subjectivist is not a kind of a budding then it is not plus and it is not a flies.; sent6 -> int3: if the subjectivist is not a obliqueness then it is not a budding.; sent3 -> int4: there exists something such that the fact that it is non-postmillennial thing that is not benedictory is false.;
$hypothesis$ = if the myeloblast is a Shavian then the Balkans is a frump. ; $context$ = sent1: the myeloblast subtilizes if the ATM is a kind of a Shavian. sent2: if the myeloblast is Shavian then that the fact that the ATM does satellite but it does not subtilize does not hold is true. sent3: that the moviegoer is not postmillennial and it is not benedictory does not hold. sent4: if the ATM does not rid ammonia the myeloblast is a frump but it is not a Shavian. sent5: if the myeloblast is Shavian then the fact that the ATM satellites and subtilizes is not right. sent6: something does not bud if it is not a kind of a obliqueness. sent7: if something is not a budding it is not plus and it is not a flies. sent8: the fact that if the subjectivist is not a kind of a flies then that the Balkans does not rid ammonia and does not rend is not right is true. sent9: the fact that the ATM does not rid ammonia if the fact that that the Balkans does not rid ammonia and does not rend is right is wrong is right. ; $proof$ = 
void -> assump1: Let's assume that the myeloblast is Shavian.; sent2 & assump1 -> int1: that the ATM satellites and does not subtilize is false.; __UNKNOWN__