Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. Erin is kind. Fiona is smart. Gary is kind. Gary is smart. Cold, big things are round. If something is cold then it is big. Round, smart things are cold. If something is smart and big then it is blue. Nice things are kind. If Erin is not nice then Erin is smart. All smart things are round. If something is nice and not big then it is round.
Gary is not round.