Anne is rough. Dave is big. Dave is cold. Dave is red. Dave is smart. Dave is white. Gary is big. Gary is rough. Gary is smart. Harry is white. If something is smart and red then it is rough. If something is white and smart then it is big. All white things are smart. All big things are red. If Harry is rough then Harry is not young.
Harry is rough.