Anne is smart. Dave is cold. Erin is furry. Fiona is big. If Erin is furry and Erin is green then Erin is rough. If something is furry then it is green. If something is smart and rough then it is cold. Big, cold things are smart. Rough things are big. If Erin is big then Erin is cold.
Anne is not smart.