Bob is nice. Dave is big. Dave is young. Gary is nice. Gary is red. Harry is blue. Harry is nice. If someone is cold then they are big. If someone is big then they are blue. All young, quiet people are cold. All young people are quiet. Nice people are young.
Bob is red.