Anne is rough. Erin is furry. Harry is not green. All rough things are cold. Furry things are cold. If something is big and blue then it is rough. If something is rough and cold then it is green. All green things are not big. If something is rough then it is blue. Rough things are blue. If something is cold and not green then it is kind.
Erin is cold.
@0: Anne is rough.[(triple1)] Erin is furry.[(triple2)] Harry is not green.[(triple3)] @1: Anne is blue.[(((triple1) -> rule6) OR ((triple1) -> rule7))] Anne is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule2))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Anne is not big.[(((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule5))]