The cat chases the cow. The cat is not young. The cat visits the cow. The cow chases the cat. The cow is green. The cow is young. The cow visits the cat. If someone visits the cow and the cow needs the cat then the cow is green. If someone visits the cow then the cow visits the cat.
The cat is not green.
@0: The cat chases the cow.[(triple1)] The cat is not young.[(triple2)] The cat visits the cow.[(triple3)] The cow chases the cat.[(triple4)] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow visits the cat.[(triple7 OR ((triple3) -> rule2))]