the bureaucrat is an aster.
sent1: the counterbalance is a hull if there is something such that the fact that it does not contribute cassava or it does not japan infeasibility or both is not true. sent2: the fact that the AA either does not contribute cassava or does not japan infeasibility or both does not hold if something is not orbital. sent3: the bureaucrat is not a kind of an aster if the counterbalance does hull and is genitourinary. sent4: the hemisphere promenades. sent5: something is auroral. sent6: the fact that the counterbalance is genitourinary is true if there is something such that it is a Glareolidae that is a kind of a promenade. sent7: the masseuse is not orbital if something is auroral. sent8: if something does not contribute cassava then it is auroral and is orbital. sent9: the hemisphere is a Glareolidae.
sent5 & sent7 -> int1: the masseuse is not orbital.; int1 -> int2: something is not orbital.; int2 & sent2 -> int3: that the AA does not contribute cassava or it does not japan infeasibility or both does not hold.; int3 -> int4: there is something such that that it does not contribute cassava or it does not japan infeasibility or both does not hold.; int4 & sent1 -> int5: that the counterbalance is a hull is not false.; sent9 & sent4 -> int6: the hemisphere is a Glareolidae and it is a promenade.; int6 -> int7: there is something such that it is a kind of a Glareolidae and it does promenade.; int7 & sent6 -> int8: the counterbalance is genitourinary.; int5 & int8 -> int9: the counterbalance does hull and it is genitourinary.; int9 & sent3 -> hypothesis;
there exists something such that the fact that it is not nonarboreal and/or does not japan continuum does not hold.
sent8 -> int10: if that the AA does not contribute cassava hold it is a kind of auroral thing that is orbital.;
$hypothesis$ = the bureaucrat is an aster. ; $context$ = sent1: the counterbalance is a hull if there is something such that the fact that it does not contribute cassava or it does not japan infeasibility or both is not true. sent2: the fact that the AA either does not contribute cassava or does not japan infeasibility or both does not hold if something is not orbital. sent3: the bureaucrat is not a kind of an aster if the counterbalance does hull and is genitourinary. sent4: the hemisphere promenades. sent5: something is auroral. sent6: the fact that the counterbalance is genitourinary is true if there is something such that it is a Glareolidae that is a kind of a promenade. sent7: the masseuse is not orbital if something is auroral. sent8: if something does not contribute cassava then it is auroral and is orbital. sent9: the hemisphere is a Glareolidae. ; $proof$ = 
sent5 & sent7 -> int1: the masseuse is not orbital.; int1 -> int2: something is not orbital.; int2 & sent2 -> int3: that the AA does not contribute cassava or it does not japan infeasibility or both does not hold.; int3 -> int4: there is something such that that it does not contribute cassava or it does not japan infeasibility or both does not hold.; int4 & sent1 -> int5: that the counterbalance is a hull is not false.; sent9 & sent4 -> int6: the hemisphere is a Glareolidae and it is a promenade.; int6 -> int7: there is something such that it is a kind of a Glareolidae and it does promenade.; int7 & sent6 -> int8: the counterbalance is genitourinary.; int5 & int8 -> int9: the counterbalance does hull and it is genitourinary.; int9 & sent3 -> hypothesis; __DISPROVED__