Charlie is big. Charlie is green. Charlie is smart. Dave is big. Dave is rough. Dave is round. Dave is smart. Dave is young. Erin is rough. Erin is smart. Erin is young. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Big people are round. If someone is smart and rough then they are young. If someone is round then they are rough. If Erin is green and Erin is young then Erin is big. All round, big people are red. If someone is round then they are smart.
Dave is not green.