The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow is not young. If someone is nice and rough then they are kind. Rough, nice people are green. If the cow is rough and the cow is not kind then the cow is not green.
The cow does not need the cow.
@0: The cow is green.[(triple1 OR ((triple4 triple3) -> rule2))] The cow is kind.[(triple2 OR ((triple3 triple4) -> rule1))] The cow is nice.[(triple3)] The cow is not young.[(triple5)] The cow is rough.[(triple4)]