if the Genoese occurs the voyeuristicness occurs.
sent1: if the knockout happens the derogation happens. sent2: if that the Genoeseness occurs is right then the unsalableness happens. sent3: that the bars occurs is right. sent4: the voyeuristicness happens if the calculableness happens. sent5: if the mutating pistachio happens then the anger happens. sent6: the reseating occurs. sent7: if the overbearing safety occurs then the fact that the rim happens hold. sent8: the mutating pistachio occurs. sent9: the fact that the resenting californium occurs is not false. sent10: the enfilade happens. sent11: the departure occurs. sent12: the aquaticness occurs. sent13: the calculableness occurs if the unsalableness occurs.
void -> assump1: Let's assume that the Genoeseness occurs.; sent2 & assump1 -> int1: the fact that the unsalableness happens is not incorrect.; sent13 & int1 -> int2: the calculableness occurs.; sent4 & int2 -> int3: that the voyeuristicness occurs is not false.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the Genoese occurs the voyeuristicness occurs. ; $context$ = sent1: if the knockout happens the derogation happens. sent2: if that the Genoeseness occurs is right then the unsalableness happens. sent3: that the bars occurs is right. sent4: the voyeuristicness happens if the calculableness happens. sent5: if the mutating pistachio happens then the anger happens. sent6: the reseating occurs. sent7: if the overbearing safety occurs then the fact that the rim happens hold. sent8: the mutating pistachio occurs. sent9: the fact that the resenting californium occurs is not false. sent10: the enfilade happens. sent11: the departure occurs. sent12: the aquaticness occurs. sent13: the calculableness occurs if the unsalableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the Genoeseness occurs.; sent2 & assump1 -> int1: the fact that the unsalableness happens is not incorrect.; sent13 & int1 -> int2: the calculableness occurs.; sent4 & int2 -> int3: that the voyeuristicness occurs is not false.; [assump1] & int3 -> hypothesis; __PROVED__