Anne is round. Bob is round. Gary is big. All blue, rough people are white. All round people are rough. Big people are round. If someone is round and red then they are white. If someone is blue then they are rough. If someone is big then they are blue.
Bob is red.