Bob is nice. Bob is red. Bob is rough. Dave is not blue. Dave is furry. Dave is nice. Dave is rough. Erin is blue. Erin is nice. Gary is nice. Gary is rough. Gary is round. If something is nice then it is red. All furry things are green. If something is blue and green then it is rough. All rough, green things are red. If something is red then it is furry. All rough things are round. If something is furry and not nice then it is not round.
Gary is not nice.