The cat chases the cow. The cow chases the cat. The cow is green. If something needs the cow then the cow is not round. If something is green then it chases the cat.
The cow is not green.
@0: The cat chases the cow.[(triple1)] The cow chases the cat.[(triple2 OR ((triple3) -> rule2))] The cow is green.[(triple3)]