Dave is big. Dave is cold. Dave is nice. Fiona is big. Fiona is blue. Fiona is red. Gary is green. Gary is nice. Gary is quiet. Gary is red. If Fiona is green then Fiona is blue. If Dave is cold and Dave is nice then Dave is green. If someone is red then they are nice. Nice, blue people are red. Green people are blue. If Gary is cold then Gary is nice.
Dave is blue.