Anne is not blue. Anne is red. Anne is rough. Anne is smart. Anne is white. Bob is blue. Bob is red. Bob is rough. Fiona is smart. Gary is furry. Gary is red. Gary is smart. If Anne is red and Anne is not blue then Anne is rough.
Fiona is not furry.