The cow is young. Big things are kind. Young things are red. If the cow is red then the cow is kind. If the cow is young and the cow is kind then the cow is big. If something is blue and big then it is young. If something is kind then it is red. If something is kind and young then it is red. If something is big then it is young.
The cow does not chase the cow.
@0: The cow is young.[(triple1)] @1: The cow is red.[(((triple1) -> rule2))] @2: The cow is kind.[(((((triple1) -> rule2)) -> rule3))] @3: The cow is big.[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule4))]