Anne is nice. Anne is quiet. Anne is young. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is young. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is not round. Gary is young. If Gary is round and Gary is not furry then Gary is not young. All young things are cold.
Gary is not rough.