the lunisolarness occurs and the casing occurs.
sent1: the lunisolarness happens if the vexing Salvadoraceae happens. sent2: the epidemiologicness occurs. sent3: the push happens. sent4: the casing does not occur and/or the epidemiologicness does not occur if the Hanoverian happens. sent5: the pinealness happens and the pleaching sapper occurs. sent6: the fact that the stored-programness occurs is correct. sent7: the barracking Pomacanthus and the someness happens. sent8: both the epidemiologicness and the casing occurs.
sent8 -> int1: the casing occurs.;
the appointiveness happens.
$hypothesis$ = the lunisolarness occurs and the casing occurs. ; $context$ = sent1: the lunisolarness happens if the vexing Salvadoraceae happens. sent2: the epidemiologicness occurs. sent3: the push happens. sent4: the casing does not occur and/or the epidemiologicness does not occur if the Hanoverian happens. sent5: the pinealness happens and the pleaching sapper occurs. sent6: the fact that the stored-programness occurs is correct. sent7: the barracking Pomacanthus and the someness happens. sent8: both the epidemiologicness and the casing occurs. ; $proof$ = 
sent8 -> int1: the casing occurs.; __UNKNOWN__