Anne is nice. Anne is quiet. Anne is red. Charlie is smart. Gary is blue. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Harry is blue. Harry is nice. If something is rough and smart then it is red. Round, blue things are red. If something is quiet and red then it is round. All smart, red things are blue. Red, smart things are round. All smart things are rough. All red things are rough. If something is round and rough then it is quiet. All quiet things are nice.
Harry is not rough.