the sameness occurs.
sent1: the fact that the sleeping oxymoron occurs is true. sent2: the sleeping Isurus does not occur if the tubing does not occur. sent3: the tube does not occur. sent4: the intracerebralness does not occur. sent5: the negotiation does not occur. sent6: that the sleeping herder does not occur or the retrenching occurs or both is wrong. sent7: the de-escalation or the dinging pediculicide or both happens. sent8: the allantoicness happens or the abstemiousness happens or both if the imparting yawner happens. sent9: the sameness occurs if that the sameness does not occur and the sleeping disputant does not occur does not hold. sent10: that the sleeping oxymoron does not occur and/or the delicateness happens does not hold. sent11: that the sleeping disputant happens results in that the sleeping oxymoron does not occur or the delicateness or both. sent12: the sleeping oxymoron or the delicateness or both occurs. sent13: that the sameness happens is prevented by the fact that that the sleeping disputant does not occur and the sleeping Isurus does not occur hold. sent14: the sleeping disputant triggers the sleeping oxymoron and/or the delicateness. sent15: the bicentennialness happens and/or the rededication occurs.
void -> assump1: Let's assume that the sleeping disputant happens.; sent11 & assump1 -> int1: the sleeping oxymoron does not occur and/or the delicateness occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sleeping disputant does not occur.; sent2 & sent3 -> int4: the sleeping Isurus does not occur.; int3 & int4 -> int5: the sleeping disputant does not occur and the sleeping Isurus does not occur.; int5 & sent13 -> hypothesis;
the sameness occurs.
$hypothesis$ = the sameness occurs. ; $context$ = sent1: the fact that the sleeping oxymoron occurs is true. sent2: the sleeping Isurus does not occur if the tubing does not occur. sent3: the tube does not occur. sent4: the intracerebralness does not occur. sent5: the negotiation does not occur. sent6: that the sleeping herder does not occur or the retrenching occurs or both is wrong. sent7: the de-escalation or the dinging pediculicide or both happens. sent8: the allantoicness happens or the abstemiousness happens or both if the imparting yawner happens. sent9: the sameness occurs if that the sameness does not occur and the sleeping disputant does not occur does not hold. sent10: that the sleeping oxymoron does not occur and/or the delicateness happens does not hold. sent11: that the sleeping disputant happens results in that the sleeping oxymoron does not occur or the delicateness or both. sent12: the sleeping oxymoron or the delicateness or both occurs. sent13: that the sameness happens is prevented by the fact that that the sleeping disputant does not occur and the sleeping Isurus does not occur hold. sent14: the sleeping disputant triggers the sleeping oxymoron and/or the delicateness. sent15: the bicentennialness happens and/or the rededication occurs. ; $proof$ = 
void -> assump1: Let's assume that the sleeping disputant happens.; sent11 & assump1 -> int1: the sleeping oxymoron does not occur and/or the delicateness occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sleeping disputant does not occur.; sent2 & sent3 -> int4: the sleeping Isurus does not occur.; int3 & int4 -> int5: the sleeping disputant does not occur and the sleeping Isurus does not occur.; int5 & sent13 -> hypothesis; __DISPROVED__