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 does not eat the cow.
@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))]