that the rentalness occurs and/or the drollery does not occur is brought about by that the casketing IT does not occur.
sent1: the casketing IT occurs if the fact that the asking methocarbamol occurs hold. sent2: that the drollery occurs prevents that the asking methocarbamol does not occur. sent3: that the rentalness occurs and/or the drollery occurs hold if the casketing IT does not occur.
void -> assump2: Let's assume that the drollery happens.; sent2 & assump2 -> int1: the asking methocarbamol happens.; sent1 & int1 -> int2: the casketing IT happens.; void -> assump1: Let's assume that that the casketing IT does not occur is not false.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the drollery does not occur.; int4 -> int5: either the rental happens or the drollery does not occur or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the rentalness occurs and/or the drollery does not occur is brought about by that the casketing IT does not occur. ; $context$ = sent1: the casketing IT occurs if the fact that the asking methocarbamol occurs hold. sent2: that the drollery occurs prevents that the asking methocarbamol does not occur. sent3: that the rentalness occurs and/or the drollery occurs hold if the casketing IT does not occur. ; $proof$ = 
void -> assump2: Let's assume that the drollery happens.; sent2 & assump2 -> int1: the asking methocarbamol happens.; sent1 & int1 -> int2: the casketing IT happens.; void -> assump1: Let's assume that that the casketing IT does not occur is not false.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the drollery does not occur.; int4 -> int5: either the rental happens or the drollery does not occur or both.; [assump1] & int5 -> hypothesis; __PROVED__