Anne is big. Anne is not furry. Anne is not kind. Anne is quiet. Anne is red. Anne is rough. Anne is not smart. Bob is big. Bob is furry. Bob is red. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is smart. Gary is big. Gary is kind. All rough things are not furry. If something is rough and not kind then it is red. If Gary is quiet then Gary is furry. If Gary is big then Gary is rough. If Fiona is not smart then Fiona is quiet. If Gary is not kind then Gary is rough.
Gary is not red.