Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is not smart. Bob is young. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is not young. If Erin is not young then Erin is blue.
Erin is not green.