Anne is big. Anne is quiet. Anne is red. Bob is big. Bob is furry. Bob is smart. Bob is white. Dave is furry. Dave is quiet. Dave is smart. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. If Dave is smart and Dave is big then Dave is furry. If something is furry and big then it is quiet. If Anne is big then Anne is smart. Red, big things are white. If Gary is round then Gary is white. Smart, quiet things are red. Smart, white things are red. All white, quiet things are red.
Bob is round.