The cow likes the lion. The lion likes the cow. The lion sees the cow. If something needs the cow then it is kind. If the cow likes the lion then the lion sees the cow. If something needs the cow then it sees the cow. If something sees the lion then it needs the lion. If the lion likes the cow then the cow is round. If something likes the cow then it needs the cow. If something sees the lion and it sees the cow then the cow sees the lion. If the cow sees the lion and the cow needs the lion then the lion sees the cow.
The cow does not see the cow.
@0: The cow likes the lion.[(triple1)] The lion likes the cow.[(triple2)] The lion sees the cow.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule3))] @1: The cow is round.[(((triple2) -> rule5))] The lion needs the cow.[(((triple2) -> rule6))] @2: The lion is kind.[(((((triple2) -> rule6)) -> rule1))]