Charlie is green. Charlie is white. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is not smart. Erin is not white. Erin is not young. Fiona is red. Fiona is smart. Fiona is young. If Fiona is not green then Fiona is red.
Fiona is not green.