Bob is blue. Bob is smart. Erin is green. Erin is red. Gary is furry. Gary is red. Gary is round. Harry is furry. Harry is green. Harry is smart. All furry things are round. If Bob is red and Bob is smart then Bob is furry. Green things are round. If something is blue and round then it is quiet. Round things are red. If something is green then it is red.
Bob is not red.