that the humming horse-pistol happens causes that the pyramid happens.
sent1: the grudge happens. sent2: the deveining Linaceae happens if the outstroke occurs. sent3: the migration does not occur if that that the migration but not the pyramid happens is not right hold. sent4: the tessellating happens. sent5: the fact that the deveining asclepiad occurs is not wrong. sent6: if the deveining asclepiad occurs but the pyramid does not occur then the humming horse-pistol occurs. sent7: if the pitcher occurs and the collision does not occur that the dimorphism does not occur is not false.
void -> assump2: Let's assume that the humming horse-pistol happens.; void -> assump1: Let's assume that the pyramid does not occur.; sent5 & assump1 -> int1: the deveining asclepiad but not the pyramid happens.;
the fact that the migration happens does not hold.
$hypothesis$ = that the humming horse-pistol happens causes that the pyramid happens. ; $context$ = sent1: the grudge happens. sent2: the deveining Linaceae happens if the outstroke occurs. sent3: the migration does not occur if that that the migration but not the pyramid happens is not right hold. sent4: the tessellating happens. sent5: the fact that the deveining asclepiad occurs is not wrong. sent6: if the deveining asclepiad occurs but the pyramid does not occur then the humming horse-pistol occurs. sent7: if the pitcher occurs and the collision does not occur that the dimorphism does not occur is not false. ; $proof$ = 
void -> assump2: Let's assume that the humming horse-pistol happens.; void -> assump1: Let's assume that the pyramid does not occur.; sent5 & assump1 -> int1: the deveining asclepiad but not the pyramid happens.; __UNKNOWN__