the Rwandan occurs.
sent1: the Rwandan happens. sent2: the impersonating Sperry happens. sent3: both the choppiness and the Rwandan occurs if the unwrapping Pashto does not occur. sent4: if the cleaningness happens that the unwrapping Pashto but not the ossifying happens is false. sent5: the bubbling invitation happens. sent6: the spieling resh occurs. sent7: if the testateness does not occur the cleaning and the recurrence occurs. sent8: the testateness does not occur if the federalness does not occur and the usage does not occur. sent9: the unwrapping Pashto does not occur if that the unwrapping Pashto but not the ossifying happens is wrong.
sent1 -> hypothesis;
the choppiness occurs.
$hypothesis$ = the Rwandan occurs. ; $context$ = sent1: the Rwandan happens. sent2: the impersonating Sperry happens. sent3: both the choppiness and the Rwandan occurs if the unwrapping Pashto does not occur. sent4: if the cleaningness happens that the unwrapping Pashto but not the ossifying happens is false. sent5: the bubbling invitation happens. sent6: the spieling resh occurs. sent7: if the testateness does not occur the cleaning and the recurrence occurs. sent8: the testateness does not occur if the federalness does not occur and the usage does not occur. sent9: the unwrapping Pashto does not occur if that the unwrapping Pashto but not the ossifying happens is wrong. ; $proof$ = 
sent1 -> hypothesis; __PROVED__