Bob is nice. Bob is red. Bob is smart. Dave is red. Dave is white. Fiona is nice. Gary is nice. If someone is smart and red then they are nice. Red people are big. Nice people are green. Nice, big people are white. If someone is red and rough then they are smart. All green, rough people are white. All big people are red. If Fiona is white then Fiona is rough. If someone is nice then they are red.
Gary is red.