Anne is quiet. Anne is rough. Anne is smart. Bob is green. Bob is red. Bob is rough. Bob is smart. Fiona is big. Fiona is red. Gary is furry. Gary is red. Gary is rough. If Bob is quiet then Bob is red. Quiet things are green. All smart, big things are quiet. All big, green things are furry. If Bob is red then Bob is big. If something is rough and red then it is smart. If Bob is green then Bob is red. Smart, rough things are red.
Anne is not rough.