Anne is blue. Bob is nice. Fiona is nice. If Fiona is smart then Fiona is quiet. All quiet people are red. All smart, quiet people are red. All nice people are green. Green people are blue. All blue people are nice.
Anne is nice.