Anne is cold. Anne is rough. Anne is round. Anne is young. Bob is big. Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is cold. Gary is furry. Gary is rough. Gary is round. If Gary is smart then Gary is young. All cold things are rough. All rough things are big. If something is round and big then it is cold. All rough things are smart. If Bob is smart then Bob is young.
Bob is not rough.