Bob is nice. Bob is quiet. Bob is red. Bob is rough. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Gary is big. Gary is quiet. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If something is nice then it is round. All green things are round. If Gary is rough and Gary is big then Gary is round. Round things are big. Red, green things are rough. Quiet, big things are green.
Harry is not red.