Anne is big. Anne is blue. Bob is blue. Bob is furry. Bob is round. Bob is smart. Fiona is blue. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is smart. If Gary is smart then Gary is round. If someone is big and blue then they are furry. All blue, round people are nice. All big, furry people are smart. All nice, round people are cold. If someone is smart and blue then they are round. If someone is round and not nice then they are smart.
Bob is not round.