the opium drapes cabbageworm if the westerly does not rewrite rubric.
sent1: if the westerly does drape cabbageworm then the opium is a repellent. sent2: the B-girl does drape cabbageworm if the opium sophisticates absorbent. sent3: the westerly is a repellent if it does not rewrite rubric. sent4: the Samnite is a kind of a repellent if the westerly sophisticates absorbent. sent5: if the westerly is a kind of a Galbulidae the B-girl rewrites rubric. sent6: if the westerly is a kind of a repellent the Samnite does sophisticate absorbent. sent7: the fact that either the B-girl does not drape cabbageworm or it is a Galbulidae or both is not true if the opium is a Galbulidae. sent8: the beetle is not a kind of a repellent. sent9: if that either the B-girl is not a Galbulidae or it sophisticates absorbent or both is false then the opium drapes cabbageworm.
void -> assump1: Let's assume that that the westerly does not rewrite rubric is true.; sent3 & assump1 -> int1: the westerly is a kind of a repellent.; sent6 & int1 -> int2: the Samnite sophisticates absorbent.;
$hypothesis$ = the opium drapes cabbageworm if the westerly does not rewrite rubric. ; $context$ = sent1: if the westerly does drape cabbageworm then the opium is a repellent. sent2: the B-girl does drape cabbageworm if the opium sophisticates absorbent. sent3: the westerly is a repellent if it does not rewrite rubric. sent4: the Samnite is a kind of a repellent if the westerly sophisticates absorbent. sent5: if the westerly is a kind of a Galbulidae the B-girl rewrites rubric. sent6: if the westerly is a kind of a repellent the Samnite does sophisticate absorbent. sent7: the fact that either the B-girl does not drape cabbageworm or it is a Galbulidae or both is not true if the opium is a Galbulidae. sent8: the beetle is not a kind of a repellent. sent9: if that either the B-girl is not a Galbulidae or it sophisticates absorbent or both is false then the opium drapes cabbageworm. ; $proof$ = 
void -> assump1: Let's assume that that the westerly does not rewrite rubric is true.; sent3 & assump1 -> int1: the westerly is a kind of a repellent.; sent6 & int1 -> int2: the Samnite sophisticates absorbent.; __UNKNOWN__