Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is nice. Bob is rough. Bob is smart. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. If Erin is rough and Erin is furry then Erin is smart. Nice things are rough. All rough things are furry. All kind things are smart. If Anne is rough and Anne is green then Anne is furry. All red, furry things are rough. If something is rough and red then it is green. If something is furry and nice then it is red.
Erin is rough.