Bob is big. Bob is not cold. Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is smart. Gary is big. Gary is cold. Gary is not furry. Gary is nice. Gary is red. Gary is rough. Gary is smart. If someone is smart then they are red. If someone is nice then they are smart. Big people are red. If Bob is cold then Bob is smart. If someone is not smart then they are red. If someone is cold and not smart then they are nice.
Bob is furry.