if the Sind does modify then the hooks does gather IUD.
sent1: the Sind is a Bavarian. sent2: if something that is not a mother is unexportable it is not a Catha. sent3: if the hammock does not modify then that the Sind is not Bavarian and does not invoke quickstep does not hold. sent4: if something is not a kind of a Catha then it does modify or it does not gather IUD or both. sent5: if something is a kind of a Bavarian it does invoke quickstep. sent6: if the fact that the changer is not a clavichord hold the hooks is either not a rearguard or not a Gnosticism or both. sent7: the hooks does gather IUD if the hammock does invoke quickstep. sent8: the hooks is not a kind of a Gnosticism if either it is not a rearguard or it is not a kind of a Gnosticism or both. sent9: the hooks does not mother but it is unexportable if it is not a Gnosticism.
void -> assump1: Let's assume that the Sind does modify.; sent5 -> int1: if the hammock is a Bavarian it does invoke quickstep.;
the canecutter does invoke quickstep.
sent4 -> int2: the hooks does modify and/or it does not gather IUD if it is not a Catha.; sent2 -> int3: if the hooks is not a mother but unexportable then it is not a kind of a Catha.;
$hypothesis$ = if the Sind does modify then the hooks does gather IUD. ; $context$ = sent1: the Sind is a Bavarian. sent2: if something that is not a mother is unexportable it is not a Catha. sent3: if the hammock does not modify then that the Sind is not Bavarian and does not invoke quickstep does not hold. sent4: if something is not a kind of a Catha then it does modify or it does not gather IUD or both. sent5: if something is a kind of a Bavarian it does invoke quickstep. sent6: if the fact that the changer is not a clavichord hold the hooks is either not a rearguard or not a Gnosticism or both. sent7: the hooks does gather IUD if the hammock does invoke quickstep. sent8: the hooks is not a kind of a Gnosticism if either it is not a rearguard or it is not a kind of a Gnosticism or both. sent9: the hooks does not mother but it is unexportable if it is not a Gnosticism. ; $proof$ = 
void -> assump1: Let's assume that the Sind does modify.; sent5 -> int1: if the hammock is a Bavarian it does invoke quickstep.; __UNKNOWN__