The cow chases the lion. The lion chases the cow. The lion visits the cow. If someone chases the cow and they visit the cow then the cow visits the lion. If someone likes the cow then they visit the lion. If someone visits the lion then they chase the lion.
The lion chases the cow.
@0: The cow chases the lion.[(triple1 OR ((((triple2 triple3) -> rule1)) -> rule3))] The lion chases the cow.[(triple2)] The lion visits the cow.[(triple3)] @1: The cow visits the lion.[(((triple2 triple3) -> rule1))]