The cow is blue. The cow is cold. The cow is not kind. Blue things are not nice. All young, cold things are not nice. If the cow is young and the cow is blue then the cow is kind.
The cow does not eat the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not kind.[(triple3)] @1: The cow is not nice.[(((triple1) -> rule1))]