Bob is green. Erin is blue. Erin is rough. Erin is smart. Gary is blue. Gary is green. Gary is red. All big things are green. If something is green and rough then it is red. All smart things are big.
Bob is not red.