Anne is cold. Anne is rough. Anne is young. Charlie is green. Charlie is rough. Harry is big. Harry is green. If someone is smart and green then they are young. Green people are smart. If Charlie is cold and Charlie is big then Charlie is young.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] @1: Charlie is smart.[(((triple4) -> rule2))] Harry is smart.[(((triple7) -> rule2))] @2: Charlie is young.[(((((triple4) -> rule2) triple4) -> rule1))] Harry is young.[(((((triple7) -> rule2) triple7) -> rule1))]