The cow eats the lion. The cow sees the lion. The lion chases the cow. If someone sees the lion then they eat the cow. If the cow sees the lion then the lion sees the cow. If someone sees the lion then they see the cow. If someone sees the cow then they see the lion. If the lion chases the cow then the cow sees the lion. If someone sees the lion and they chase the cow then the lion sees the cow.
The cow chases the cow.
@0: The cow eats the lion.[(triple1)] The cow sees the lion.[(triple2 OR ((triple3) -> rule5))] The lion chases the cow.[(triple3)] @1: The cow eats the cow.[(((triple2) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] The cow sees the cow.[(((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] The lion sees the cow.[(((triple2) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] @2: The lion sees the lion.[(((((triple2) -> rule2)) -> rule4) OR ((((((triple3) -> rule5)) -> rule2)) -> rule4))] @3: The lion eats the cow.[(((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule4)) -> rule1))]