The cat chases the cow. The cat chases the lion. The cat needs the lion. The cat visits the cow. The cow chases the cat. The cow is big. The cow is blue. The cow needs the cat. The cow visits the cat. The lion chases the cow. The lion is rough. The lion visits the cow. If someone chases the lion then they visit the cow. If the lion chases the cow then the cow chases the lion. If someone visits the cat and they are cold then the cat visits the cow.
The cow does not chase the lion.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat needs the lion.[(triple3)] The cat visits the cow.[(triple4 OR ((triple2) -> rule1))] The cow chases the cat.[(triple5)] The cow is big.[(triple6)] The cow is blue.[(triple7)] The cow needs the cat.[(triple8)] The cow visits the cat.[(triple9)] The lion chases the cow.[(triple10)] The lion is rough.[(triple11)] The lion visits the cow.[(triple12)] @1: The cow chases the lion.[(((triple10) -> rule2))] @2: The cow visits the cow.[(((((triple10) -> rule2)) -> rule1))]