Anne is big. Anne is blue. Anne is kind. Bob is kind. Bob is round. Erin is cold. Erin is kind. Erin is round. Erin is smart. Gary is big. Gary is round. If something is blue then it is big. All round things are cold. If something is big then it is round. All blue, quiet things are cold. All smart, blue things are not quiet. Cold things are blue. Blue, cold things are round. If something is big then it is smart.
Bob is smart.