Bob is blue. Bob is nice. Bob is round. Dave is smart. Gary is nice. Gary is red. Harry is smart. If Dave is rough and Dave is round then Dave is smart. If Bob is blue then Bob is red.
Gary is not red.