Fix bug with printing contradictory statements