The cow is green. All green, kind people are cold. If someone is green and cold then they are big. Green people are kind.
The cow is cold.
@0: The cow is green.[(triple1)] @1: The cow is kind.[(((triple1) -> rule3))] @2: The cow is cold.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The cow is big.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]