Bob is not furry. Bob is green. Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is round. Erin is smart. Gary is big. Gary is furry. Gary is green. Gary is smart. Harry is not big. Harry is green. Harry is not kind. Harry is smart. If something is rough then it is smart. All rough things are smart.
Bob is not smart.