the shriving does not occur but the novation occurs.
sent1: if the rolling occurs then the unsealing platelayer happens. sent2: if the novation does not occur the fact that the frictionalness happens and the shriving occurs does not hold. sent3: the tinting causes the Hertzianness. sent4: that the shriving and the novation occurs is not true. sent5: the rolling occurs. sent6: that if the bankrupting cavern does not occur then the novation does not occur and the overstraining does not occur hold. sent7: the fact that both the shriving and the novation happens is false if the frictionalness happens. sent8: if that the bankrupting cavern does not occur is correct the novation happens and the frictionalness occurs. sent9: if the fact that the remembering does not occur is right both the overstraining and the riffling generic occurs. sent10: the fact that the shriving does not occur and the novation occurs does not hold if the frictionalness happens. sent11: if the rolling occurs and/or the unsealing platelayer does not occur the shriving does not occur. sent12: that the unsealing platelayer occurs results in the frictionalness. sent13: that the rolling occurs or the unsealing platelayer does not occur or both is brought about by that the overstraining happens. sent14: if that the immeasurableness does not occur and the stunting Gallaudet does not occur is not true then the fact that the remembering happens is not incorrect. sent15: the remembering does not occur. sent16: that the remembering occurs yields that the bankrupting cavern does not occur and the riffling generic does not occur.
sent1 & sent5 -> int1: the unsealing platelayer happens.; sent12 & int1 -> int2: the frictionalness happens.; sent10 & int2 -> hypothesis;
the fact that the opposableness occurs is true.
$hypothesis$ = the shriving does not occur but the novation occurs. ; $context$ = sent1: if the rolling occurs then the unsealing platelayer happens. sent2: if the novation does not occur the fact that the frictionalness happens and the shriving occurs does not hold. sent3: the tinting causes the Hertzianness. sent4: that the shriving and the novation occurs is not true. sent5: the rolling occurs. sent6: that if the bankrupting cavern does not occur then the novation does not occur and the overstraining does not occur hold. sent7: the fact that both the shriving and the novation happens is false if the frictionalness happens. sent8: if that the bankrupting cavern does not occur is correct the novation happens and the frictionalness occurs. sent9: if the fact that the remembering does not occur is right both the overstraining and the riffling generic occurs. sent10: the fact that the shriving does not occur and the novation occurs does not hold if the frictionalness happens. sent11: if the rolling occurs and/or the unsealing platelayer does not occur the shriving does not occur. sent12: that the unsealing platelayer occurs results in the frictionalness. sent13: that the rolling occurs or the unsealing platelayer does not occur or both is brought about by that the overstraining happens. sent14: if that the immeasurableness does not occur and the stunting Gallaudet does not occur is not true then the fact that the remembering happens is not incorrect. sent15: the remembering does not occur. sent16: that the remembering occurs yields that the bankrupting cavern does not occur and the riffling generic does not occur. ; $proof$ = 
sent1 & sent5 -> int1: the unsealing platelayer happens.; sent12 & int1 -> int2: the frictionalness happens.; sent10 & int2 -> hypothesis; __DISPROVED__