Bob is round. Bob is smart. Erin is nice. Erin is red. Erin is smart. Fiona is round. Gary is not smart. If Fiona is red then Fiona is not green. If something is not green then it is white. If something is kind then it is nice. If something is not round then it is kind. If something is not nice then it is white. If something is not nice then it is not green.
Erin is not green.