The cow is blue. If something is blue and young then it is kind. Cold things are green. Cold things are blue. Cold things are green. If the cow is green and the cow is young then the cow is kind. If the cow is blue and the cow is kind then the cow is cold. Kind things are green. If something is blue then it is green.
The cow is blue.
@0: The cow is blue.[(triple1)] @1: The cow is green.[(((triple1) -> rule8))]