The cow is green. The cow is kind. The cow is nice. The cow is red. The cow is rough. All red things are nice. Kind things are green.
The cow visits the cow.
@0: The cow is green.[(triple1 OR ((triple2) -> rule2))] The cow is kind.[(triple2)] The cow is nice.[(triple3 OR ((triple4) -> rule1))] The cow is red.[(triple4)] The cow is rough.[(triple5)]