Anne is red. Anne is smart. Dave is rough. Dave is white. Gary is big. Gary is red. Gary is white. All round people are white. Red people are round. If someone is red and big then they are rough. If someone is round and smart then they are red. Rough, white people are red. If someone is rough and round then they are blue. If Dave is big and Dave is rough then Dave is blue. If someone is round then they are white.
Dave is big.