the downing neurofibroma does not occur and the downing checkered occurs.
sent1: the spiking does not occur and the immorality occurs. sent2: the voting and the luxation occurs. sent3: the fatigue occurs. sent4: both the downing checkered and the managership happens.
sent4 -> int1: the downing checkered occurs.;
$hypothesis$ = the downing neurofibroma does not occur and the downing checkered occurs. ; $context$ = sent1: the spiking does not occur and the immorality occurs. sent2: the voting and the luxation occurs. sent3: the fatigue occurs. sent4: both the downing checkered and the managership happens. ; $proof$ = 
sent4 -> int1: the downing checkered occurs.; __UNKNOWN__