both the runoff and the insolventness happens.
sent1: the garnering schist happens. sent2: both the runoff and the conciliation happens. sent3: if the garnering schist happens the ebbing occurs. sent4: that that both the runoff and the insolventness occurs is true is not right if the garnering schist does not occur. sent5: if the conciliation occurs but the palingeneticness does not occur then the garnering schist does not occur. sent6: the fact that the conciliation happens is true.
sent2 -> int1: the runoff happens.;
that the runoff happens and the insolventness happens is not true.
$hypothesis$ = both the runoff and the insolventness happens. ; $context$ = sent1: the garnering schist happens. sent2: both the runoff and the conciliation happens. sent3: if the garnering schist happens the ebbing occurs. sent4: that that both the runoff and the insolventness occurs is true is not right if the garnering schist does not occur. sent5: if the conciliation occurs but the palingeneticness does not occur then the garnering schist does not occur. sent6: the fact that the conciliation happens is true. ; $proof$ = 
sent2 -> int1: the runoff happens.; __UNKNOWN__