Anne is red. Anne is round. Bob is blue. Bob is furry. Bob is red. Bob is not round. Erin is green. Erin is young. Fiona is blue. Fiona is red. Fiona is smart. Fiona is young. If Fiona is smart then Fiona is furry. If something is furry then it is young. If Bob is green then Bob is smart. If something is not round then it is blue. If something is furry and not round then it is blue. Green things are not round.
Anne is not young.