The cow chases the lion. The cow is big. The cow is kind. The cow is nice. The cow needs the lion. The cow visits the lion. The lion chases the cow. The lion is big. The lion is kind. The lion is nice. The lion needs the cow. The lion visits the cow. If something is nice and big then it visits the cow. If something visits the cow then it chases the cow.
The cow does not visit the cow.
@0: The cow chases the lion.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow needs the lion.[(triple5)] The cow visits the lion.[(triple6)] The lion chases the cow.[(triple7 OR ((triple12) -> rule2) OR ((((triple10 triple8) -> rule1)) -> rule2))] The lion is big.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the cow.[(triple12 OR ((triple10 triple8) -> rule1))] @1: The cow visits the cow.[(((triple4 triple2) -> rule1))] @2: The cow chases the cow.[(((((triple4 triple2) -> rule1)) -> rule2))]