the unselfishness occurs if the photostating Riyadh happens.
sent1: the preposing yakuza happens. sent2: the sugariness occurs. sent3: the spotting does not occur. sent4: that the unselfishness does not occur is prevented by that that not the spot but the photostating Riyadh occurs is not wrong. sent5: if the spot occurs then that the wowing acyclovir does not occur and the photostating Riyadh does not occur does not hold. sent6: if that the wowing acyclovir does not occur and the photostating Riyadh does not occur is not correct the wowing acyclovir occurs.
void -> assump1: Let's assume that the fact that the photostating Riyadh happens is true.; sent3 & assump1 -> int1: not the spotting but the photostating Riyadh happens.; sent4 & int1 -> int2: the fact that the unselfishness does not occur is incorrect.; [assump1] & int2 -> hypothesis;
the wowing acyclovir occurs.
$hypothesis$ = the unselfishness occurs if the photostating Riyadh happens. ; $context$ = sent1: the preposing yakuza happens. sent2: the sugariness occurs. sent3: the spotting does not occur. sent4: that the unselfishness does not occur is prevented by that that not the spot but the photostating Riyadh occurs is not wrong. sent5: if the spot occurs then that the wowing acyclovir does not occur and the photostating Riyadh does not occur does not hold. sent6: if that the wowing acyclovir does not occur and the photostating Riyadh does not occur is not correct the wowing acyclovir occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the photostating Riyadh happens is true.; sent3 & assump1 -> int1: not the spotting but the photostating Riyadh happens.; sent4 & int1 -> int2: the fact that the unselfishness does not occur is incorrect.; [assump1] & int2 -> hypothesis; __PROVED__