Anne is smart. Erin is cold. Harry is smart. If Erin is cold then Erin is smart. If someone is green then they are cold.
Harry is not smart.
@0: Anne is smart.[(triple1)] Erin is cold.[(triple2)] Harry is smart.[(triple3)] @1: Erin is smart.[(((triple2) -> rule1))]