Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. If something is green and rough then it is round. If something is quiet then it is green. Quiet, round things are rough. All nice, green things are rough. All kind, furry things are quiet. All nice things are rough.
Gary is not nice.