The cow chases the lion. The cow is big. The cow is blue. The lion chases the cow. The lion is kind. The lion sees the cow. The lion visits the cow. If someone visits the cow and they chase the lion then the cow sees the lion. If someone visits the cow then they chase the cow. If someone is big and they see the lion then they see the cow.
The cow does not chase the cow.
@0: The cow chases the lion.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The lion chases the cow.[(triple4 OR ((triple7) -> rule2))] The lion is kind.[(triple5)] The lion sees the cow.[(triple6)] The lion visits the cow.[(triple7)]