the obviousness does not occur.
sent1: if the goalkeeper occurs then the nasopharyngealness does not occur and the rendezvousing teth does not occur. sent2: if the argillaceousness occurs then the fact that either the rendezvousing teth does not occur or the nasopharyngealness happens or both is incorrect. sent3: the Sabineness does not occur if that the fact that either the rendezvousing teth does not occur or the nasopharyngealness occurs or both does not hold is not false. sent4: both the recalculation and the Sabine happens. sent5: the Sabineness happens. sent6: if the Sabine does not occur then the echolocation happens and the recalculation occurs. sent7: if the rendezvousing teth does not occur then the fact that that not the recalculation but the Sabineness occurs is true does not hold. sent8: that the obviousness does not occur is prevented by the recalculation.
sent4 -> int1: the recalculation occurs.; sent8 & int1 -> hypothesis;
both the echolocation and the dysphoricness occurs.
$hypothesis$ = the obviousness does not occur. ; $context$ = sent1: if the goalkeeper occurs then the nasopharyngealness does not occur and the rendezvousing teth does not occur. sent2: if the argillaceousness occurs then the fact that either the rendezvousing teth does not occur or the nasopharyngealness happens or both is incorrect. sent3: the Sabineness does not occur if that the fact that either the rendezvousing teth does not occur or the nasopharyngealness occurs or both does not hold is not false. sent4: both the recalculation and the Sabine happens. sent5: the Sabineness happens. sent6: if the Sabine does not occur then the echolocation happens and the recalculation occurs. sent7: if the rendezvousing teth does not occur then the fact that that not the recalculation but the Sabineness occurs is true does not hold. sent8: that the obviousness does not occur is prevented by the recalculation. ; $proof$ = 
sent4 -> int1: the recalculation occurs.; sent8 & int1 -> hypothesis; __DISPROVED__