Anne is blue. Anne is red. Anne is round. Anne is smart. Charlie is big. Charlie is blue. Charlie is rough. Charlie is round. Charlie is smart. Dave is furry. Dave is red. Gary is big. Gary is blue. Gary is rough. Gary is smart. Red, smart things are furry. Round things are rough. All rough things are smart. If Gary is rough then Gary is red. All blue things are furry. All big, furry things are blue. Rough things are big. Smart, big things are rough.
Anne is not smart.