The cow is not green. The cow is not kind. The cow is red. The cow is round. The cow is young. If something is green and not kind then it is young. Round things are not green.
The cow does not eat the cow.
@0: The cow is not green.[(triple1 OR ((triple4) -> rule2))] The cow is not kind.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]