Anne is big. Anne is cold. Anne is nice. Anne is smart. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is round. Gary is cold. Gary is round. Gary is smart. All big, smart things are kind. All kind, smart things are big. Nice, big things are furry. If Erin is smart then Erin is round. All big, cold things are round. If something is nice then it is smart. All round, furry things are smart. Nice, cold things are smart.
Erin is not round.