The cow is blue. If something is blue then it is kind. If something is kind and blue then it is rough. If the cow is kind and the cow is cold then the cow is rough. Rough things are cold. If the cow is cold and the cow is kind then the cow is blue. If something is kind then it is blue.
The cow is blue.
@0: The cow is blue.[(triple1)] @1: The cow is kind.[(((triple1) -> rule1))] @2: The cow is rough.[(((((triple1) -> rule1) triple1) -> rule2))] @3: The cow is cold.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule4))]