Anne is round. Dave is green. Gary is green. Harry is red. If Gary is quiet then Gary is rough. If Harry is red then Harry is smart. If Gary is rough then Gary is big. If something is green and round then it is rough. If something is red and not big then it is green. If something is rough and not green then it is smart.
Anne is quiet.