Charlie is big. Charlie is red. Charlie is not rough. Dave is red. Fiona is big. Fiona is furry. Fiona is rough. Nice people are big. All green, quiet people are not red. Red people are green. All red people are nice. All red, rough people are big. If Fiona is not nice and Fiona is not furry then Fiona is green.
Dave is rough.