Anne is red. Anne is round. Bob is not nice. Bob is red. Erin is white. Gary is nice. Gary is red. If Bob is nice then Bob is round. If someone is white then they are not cold. If Gary is blue then Gary is cold. All round, cold people are white. Red people are not cold. If someone is not nice and not big then they are red.
Bob is round.