Anne is not furry. Anne is red. Anne is rough. Anne is smart. Erin is not big. Erin is nice. Erin is not smart. If something is nice and not big then it is rough. If something is rough then it is cold.
Erin is rough.
@0: Anne is not furry.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Erin is nice.[(triple6)] Erin is not big.[(triple5)] Erin is not smart.[(triple7)] @1: Anne is cold.[(((triple3) -> rule2))] Erin is rough.[(((triple6 triple5) -> rule1))] @2: Erin is cold.[(((((triple6 triple5) -> rule1)) -> rule2))]