The cow is not green. The cow is kind. The cow is young. All green, kind things are cold. If something is kind then it is young. Kind things are not big.
The cow likes the cow.
@0: The cow is kind.[(triple2)] The cow is not green.[(triple1)] The cow is young.[(triple3 OR ((triple2) -> rule2))] @1: The cow is not big.[(((triple2) -> rule3))]