the Chickasaw is both not a bisexual and not a fraternity if the gravity-assist does not include torchbearer.
sent1: either the gravity-assist is a miotic or it is a bedrest or both. sent2: if the gravity-assist does not include torchbearer it does not harden nine-spot and is not a bedrest. sent3: the gravity-assist is a fraternity or it does not include torchbearer or both. sent4: the Chickasaw is not a bisexual and not miotic if the gravity-assist is a kind of a bedrest. sent5: the torchbearer is not miotic and it is not a kind of a gripe if the gravity-assist includes torchbearer. sent6: the gravity-assist is not atrial and is not contextual. sent7: the Chickasaw does not include torchbearer. sent8: the Chickasaw is not a fraternity and it does not include torchbearer if it is not a bedrest. sent9: if the gravity-assist does not restart Chickasaw the Chickasaw is not bisexual and is not a fraternity.
void -> assump1: Let's assume that the gravity-assist does not include torchbearer.; sent2 & assump1 -> int1: the gravity-assist does not harden nine-spot and it is not a bedrest.; int1 -> int2: the gravity-assist is not a bedrest.; int2 -> int3: the gravity-assist is a miotic and/or not a bedrest.;
the torchbearer is not a miotic and not a gripe.
$hypothesis$ = the Chickasaw is both not a bisexual and not a fraternity if the gravity-assist does not include torchbearer. ; $context$ = sent1: either the gravity-assist is a miotic or it is a bedrest or both. sent2: if the gravity-assist does not include torchbearer it does not harden nine-spot and is not a bedrest. sent3: the gravity-assist is a fraternity or it does not include torchbearer or both. sent4: the Chickasaw is not a bisexual and not miotic if the gravity-assist is a kind of a bedrest. sent5: the torchbearer is not miotic and it is not a kind of a gripe if the gravity-assist includes torchbearer. sent6: the gravity-assist is not atrial and is not contextual. sent7: the Chickasaw does not include torchbearer. sent8: the Chickasaw is not a fraternity and it does not include torchbearer if it is not a bedrest. sent9: if the gravity-assist does not restart Chickasaw the Chickasaw is not bisexual and is not a fraternity. ; $proof$ = 
void -> assump1: Let's assume that the gravity-assist does not include torchbearer.; sent2 & assump1 -> int1: the gravity-assist does not harden nine-spot and it is not a bedrest.; int1 -> int2: the gravity-assist is not a bedrest.; int2 -> int3: the gravity-assist is a miotic and/or not a bedrest.; __UNKNOWN__