Anne is smart. If someone is white then they are smart. If someone is young then they are green. If Anne is green then Anne is big. Smart, blue people are green. If someone is smart then they are rough. If Anne is smart then Anne is blue.
Anne is smart.
@0: Anne is smart.[(triple1)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is rough.[(((triple1) -> rule5))] @2: Anne is green.[(((triple1 ((triple1) -> rule6)) -> rule4))] @3: Anne is big.[(((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))]