that the blocking Sarcocephalus happens hold.
sent1: if the predominating happens then the unsupportiveness happens. sent2: the dedication happens if the unsupportiveness happens. sent3: the fact that the beginning ribbon happens but the blocking Sarcocephalus does not occur does not hold if the contralateralness does not occur. sent4: both the weakness and the predominating occurs. sent5: the weakness occurs and the raking nightmare happens if the predominating does not occur. sent6: if the beginning ribbon happens the blocking Sarcocephalus happens.
sent4 -> int1: the predominating occurs.; sent1 & int1 -> int2: the unsupportiveness happens.; sent2 & int2 -> int3: the dedication occurs.;
the raking nightmare occurs.
$hypothesis$ = that the blocking Sarcocephalus happens hold. ; $context$ = sent1: if the predominating happens then the unsupportiveness happens. sent2: the dedication happens if the unsupportiveness happens. sent3: the fact that the beginning ribbon happens but the blocking Sarcocephalus does not occur does not hold if the contralateralness does not occur. sent4: both the weakness and the predominating occurs. sent5: the weakness occurs and the raking nightmare happens if the predominating does not occur. sent6: if the beginning ribbon happens the blocking Sarcocephalus happens. ; $proof$ = 
sent4 -> int1: the predominating occurs.; sent1 & int1 -> int2: the unsupportiveness happens.; sent2 & int2 -> int3: the dedication occurs.; __UNKNOWN__