Anne is green. Anne is round. Fiona is nice. Fiona is red. Fiona is smart. Gary is not nice. Gary is quiet. Gary is red. Gary is round. Gary is not smart. Gary is white. Harry is not nice. Round, green people are not white. All red, smart people are nice. If someone is white then they are red. If someone is not quiet then they are red. If someone is green and not quiet then they are smart. If Harry is round then Harry is green.
Fiona is red.