if the fact that the anticlimax does not occur is not wrong the Rosicrucianness happens.
sent1: the bath happens but the vice-presidency does not occur if the anticlimax does not occur. sent2: the vice-presidency does not occur. sent3: that the Alpinism happens hold. sent4: if the anticlimax happens the Rosicrucian happens. sent5: the Rosicrucianness occurs if the bath occurs and the vice-presidency does not occur. sent6: the bath occurs and the vice-presidency does not occur if the anticlimax happens.
void -> assump1: Let's assume that the anticlimax does not occur.; sent1 & assump1 -> int1: the bath happens but the vice-presidency does not occur.; int1 & sent5 -> int2: the Rosicrucianness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the fact that the anticlimax does not occur is not wrong the Rosicrucianness happens. ; $context$ = sent1: the bath happens but the vice-presidency does not occur if the anticlimax does not occur. sent2: the vice-presidency does not occur. sent3: that the Alpinism happens hold. sent4: if the anticlimax happens the Rosicrucian happens. sent5: the Rosicrucianness occurs if the bath occurs and the vice-presidency does not occur. sent6: the bath occurs and the vice-presidency does not occur if the anticlimax happens. ; $proof$ = 
void -> assump1: Let's assume that the anticlimax does not occur.; sent1 & assump1 -> int1: the bath happens but the vice-presidency does not occur.; int1 & sent5 -> int2: the Rosicrucianness occurs.; [assump1] & int2 -> hypothesis; __PROVED__