that the arousing streptothricin does not occur brings about that the clucking does not occur but the maintenance happens.
sent1: the interpolating prevents that the maintenance does not occur. sent2: the interpolating happens.
void -> assump2: Let's assume that the clucking occurs.; void -> assump1: Let's assume that that the arousing streptothricin does not occur is correct.; sent1 & sent2 -> int1: the maintenance occurs.;
$hypothesis$ = that the arousing streptothricin does not occur brings about that the clucking does not occur but the maintenance happens. ; $context$ = sent1: the interpolating prevents that the maintenance does not occur. sent2: the interpolating happens. ; $proof$ = 
void -> assump2: Let's assume that the clucking occurs.; void -> assump1: Let's assume that that the arousing streptothricin does not occur is correct.; sent1 & sent2 -> int1: the maintenance occurs.; __UNKNOWN__