that the Aquarius spirals pinioned and does not exercise does not hold.
sent1: if the mother is antidotal but it is not bulbar then the paragrapher does collapse. sent2: the fact that the Turk is not rickettsial but it spirals pinioned does not hold. sent3: either the Turk is not a Pompey or it is a kind of a brunet or both. sent4: either the Turk is not a Pompey or it is not a kind of a brunet or both if the paragrapher collapses. sent5: the mother is antidotal and is not bulbar. sent6: the Turk is a kind of a Pompey or it is not a kind of a brunet or both. sent7: if the Turk is not a Pompey and/or it is not a brunet it is not rickettsial. sent8: the Turk is a Pompey and/or it is not a brunet if the paragrapher collapses.
sent1 & sent5 -> int1: the paragrapher is a collapse.; int1 & sent4 -> int2: the Turk is not a Pompey and/or it is not brunet.; int2 & sent7 -> int3: the Turk is not rickettsial.; void -> assump1: Let's assume that the Turk spirals pinioned.; int3 & assump1 -> int4: the Turk is not rickettsial but it does spiral pinioned.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Turk does not spiral pinioned.;
$hypothesis$ = that the Aquarius spirals pinioned and does not exercise does not hold. ; $context$ = sent1: if the mother is antidotal but it is not bulbar then the paragrapher does collapse. sent2: the fact that the Turk is not rickettsial but it spirals pinioned does not hold. sent3: either the Turk is not a Pompey or it is a kind of a brunet or both. sent4: either the Turk is not a Pompey or it is not a kind of a brunet or both if the paragrapher collapses. sent5: the mother is antidotal and is not bulbar. sent6: the Turk is a kind of a Pompey or it is not a kind of a brunet or both. sent7: if the Turk is not a Pompey and/or it is not a brunet it is not rickettsial. sent8: the Turk is a Pompey and/or it is not a brunet if the paragrapher collapses. ; $proof$ = 
sent1 & sent5 -> int1: the paragrapher is a collapse.; int1 & sent4 -> int2: the Turk is not a Pompey and/or it is not brunet.; int2 & sent7 -> int3: the Turk is not rickettsial.; void -> assump1: Let's assume that the Turk spirals pinioned.; int3 & assump1 -> int4: the Turk is not rickettsial but it does spiral pinioned.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Turk does not spiral pinioned.; __UNKNOWN__