Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is smart. Erin is red. Gary is blue. Gary is red. Gary is rough. Harry is kind. Harry is rough. Smart, blue things are green. All red things are smart. Smart things are blue. Blue, furry things are smart. If something is kind then it is green. If something is green and rough then it is kind. Rough, red things are blue. All rough things are blue. All green things are rough.
Erin is not rough.