Anne is blue. Anne is green. Bob is big. Bob is not green. Bob is rough. Bob is round. Bob is smart. Bob is young. Fiona is round. Fiona is young. All big, smart people are round. If Bob is blue then Bob is rough.
Fiona is green.