Dave is furry. Erin is quiet. Fiona is red. Gary is furry. If something is rough then it is round. If Gary is furry then Gary is big. If something is rough then it is nice. All nice, big things are furry. All furry things are red. All big, furry things are nice. Red things are big. All nice, big things are rough.
Gary is not furry.