Anne is rough. Charlie is kind. If someone is rough then they are young. If someone is rough and green then they are round. Young people are cold.
Anne is cold.
@0: Anne is rough.[(triple1)] Charlie is kind.[(triple2)] @1: Anne is young.[(((triple1) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule3))]