the fact that the effector does hypnotize rockery hold.
sent1: if there exists something such that the fact that it is a kind of a Seriola and does exclaim scream is wrong the pepperidge is a Aethionema. sent2: the effector is a Aethionema. sent3: there exists something such that it is not a kind of a drawer. sent4: something is a sunsuit if it is a Aethionema. sent5: if something is a primogeniture then it does not hypnotize rockery. sent6: the pepperidge is not a sunsuit. sent7: the fact that the S.U.V. is a Seriola and a sunsuit is wrong if it is not a Aethionema. sent8: the effector hypnotizes rockery if the S.U.V. is a primogeniture.
void -> assump1: Let's assume that the S.U.V. is not a primogeniture.; sent4 -> int1: the pepperidge is a kind of a sunsuit if it is a kind of a Aethionema.;
the effector does not hypnotize rockery.
sent5 -> int2: the effector does not hypnotize rockery if it is a primogeniture.;
$hypothesis$ = the fact that the effector does hypnotize rockery hold. ; $context$ = sent1: if there exists something such that the fact that it is a kind of a Seriola and does exclaim scream is wrong the pepperidge is a Aethionema. sent2: the effector is a Aethionema. sent3: there exists something such that it is not a kind of a drawer. sent4: something is a sunsuit if it is a Aethionema. sent5: if something is a primogeniture then it does not hypnotize rockery. sent6: the pepperidge is not a sunsuit. sent7: the fact that the S.U.V. is a Seriola and a sunsuit is wrong if it is not a Aethionema. sent8: the effector hypnotizes rockery if the S.U.V. is a primogeniture. ; $proof$ = 
void -> assump1: Let's assume that the S.U.V. is not a primogeniture.; sent4 -> int1: the pepperidge is a kind of a sunsuit if it is a kind of a Aethionema.; __UNKNOWN__