the moon does not occur but the nonsurgicalness happens if the trickery happens.
sent1: the benzoicness does not occur if the buccalness does not occur. sent2: if the priming does not occur the excess occurs. sent3: the seigniory occurs. sent4: that the restoring epitaxy does not occur leads to that both the nonsurgicalness and the mooning occurs. sent5: the trickery and the gracefulness happens if the flapping does not occur. sent6: the dissimilating pericarp happens. sent7: the fact that the aesculapianness does not occur and the offingness does not occur is wrong. sent8: that the offingness does not occur causes that the nonsurgicalness happens and the restoring epitaxy occurs. sent9: the offingness does not occur. sent10: if the fact that the bidding does not occur is true then that the moon does not occur is not incorrect. sent11: either that the trickery happens or that the flap happens or both triggers that the bidding does not occur.
void -> assump1: Let's assume that the trickery happens.; assump1 -> int1: the trickery and/or the flapping occurs.; int1 & sent11 -> int2: the bidding does not occur.; int2 & sent10 -> int3: the mooning does not occur.; sent8 & sent9 -> int4: the nonsurgicalness and the restoring epitaxy occurs.; int4 -> int5: the nonsurgicalness happens.; int3 & int5 -> int6: the mooning does not occur and the nonsurgicalness happens.; [assump1] & int6 -> hypothesis;
either the precaution or the gracefulness or both happens.
$hypothesis$ = the moon does not occur but the nonsurgicalness happens if the trickery happens. ; $context$ = sent1: the benzoicness does not occur if the buccalness does not occur. sent2: if the priming does not occur the excess occurs. sent3: the seigniory occurs. sent4: that the restoring epitaxy does not occur leads to that both the nonsurgicalness and the mooning occurs. sent5: the trickery and the gracefulness happens if the flapping does not occur. sent6: the dissimilating pericarp happens. sent7: the fact that the aesculapianness does not occur and the offingness does not occur is wrong. sent8: that the offingness does not occur causes that the nonsurgicalness happens and the restoring epitaxy occurs. sent9: the offingness does not occur. sent10: if the fact that the bidding does not occur is true then that the moon does not occur is not incorrect. sent11: either that the trickery happens or that the flap happens or both triggers that the bidding does not occur. ; $proof$ = 
void -> assump1: Let's assume that the trickery happens.; assump1 -> int1: the trickery and/or the flapping occurs.; int1 & sent11 -> int2: the bidding does not occur.; int2 & sent10 -> int3: the mooning does not occur.; sent8 & sent9 -> int4: the nonsurgicalness and the restoring epitaxy occurs.; int4 -> int5: the nonsurgicalness happens.; int3 & int5 -> int6: the mooning does not occur and the nonsurgicalness happens.; [assump1] & int6 -> hypothesis; __PROVED__