Anne is big. Anne is blue. Anne is furry. Anne is red. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is red. Bob is round. Erin is big. Erin is furry. Erin is red. Erin is round. Erin is smart. Gary is blue. If something is furry then it is blue. Smart, furry things are round. All big, blue things are smart. All round things are nice. If Bob is big then Bob is furry. All furry things are big.
Gary is not round.