Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is round. Bob is smart. Bob is white. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is smart. If something is big and round then it is red. If Gary is cold and Gary is furry then Gary is white.
Bob is red.