the portrayal happens.
sent1: that the portrayal but not the extrapolating happens is not correct if the liberal does not occur. sent2: if the directionalness does not occur that the pyrolyticness happens and the portrayal occurs does not hold. sent3: the liberal happens if the extrapolating occurs. sent4: if the independence occurs not the directionalness but the coffining Scyliorhinidae occurs. sent5: the extrapolating occurs. sent6: if the pushing occurs then the independence occurs. sent7: the salvificness occurs if the ceramicsness happens. sent8: if the pyrolyticness happens the portrayal happens.
sent3 & sent5 -> int1: the liberal occurs.;
the metatarsal occurs.
$hypothesis$ = the portrayal happens. ; $context$ = sent1: that the portrayal but not the extrapolating happens is not correct if the liberal does not occur. sent2: if the directionalness does not occur that the pyrolyticness happens and the portrayal occurs does not hold. sent3: the liberal happens if the extrapolating occurs. sent4: if the independence occurs not the directionalness but the coffining Scyliorhinidae occurs. sent5: the extrapolating occurs. sent6: if the pushing occurs then the independence occurs. sent7: the salvificness occurs if the ceramicsness happens. sent8: if the pyrolyticness happens the portrayal happens. ; $proof$ = 
sent3 & sent5 -> int1: the liberal occurs.; __UNKNOWN__