Anne is green. Anne is nice. Anne is quiet. Anne is rough. Charlie is big. Charlie is green. Charlie is nice. Charlie is round. Gary is quiet. Gary is rough. If something is smart then it is nice. All big things are nice. If something is green then it is round. If something is quiet and not rough then it is not big. If something is not round and not green then it is big. If Anne is green and Anne is not round then Anne is big.
Gary is not nice.