Dave is green. Dave is smart. Erin is big. Erin is blue. Erin is nice. Erin is red. Fiona is big. Fiona is nice. Gary is red. Gary is round. If someone is big then they are round. All red, nice people are big. All smart, green people are blue. All red people are green. If someone is nice then they are round. Red, blue people are big. If someone is round then they are red. Green, red people are smart. Green people are round.
Dave is red.