The cow is green. The lion eats the cow. The tiger eats the lion. If something likes the cow then it is green. All green things are nice. If something likes the cow then the cow likes the tiger. If something eats the lion then the lion likes the tiger. If something likes the tiger and it eats the cow then the tiger does not like the cow. If something likes the tiger then it chases the lion. If something is green then it likes the lion. If something is green then it likes the cow.
The tiger likes the cow.
@0: The cow is green.[(triple1)] The lion eats the cow.[(triple2)] The tiger eats the lion.[(triple3)] @1: The cow is nice.[(((triple1) -> rule2))] The cow likes the cow.[(((triple1) -> rule8))] The cow likes the lion.[(((triple1) -> rule7))] The lion likes the tiger.[(((triple3) -> rule4))] @2: The cow likes the tiger.[(((((triple1) -> rule8)) -> rule3))] The lion chases the lion.[(((((triple3) -> rule4)) -> rule6))] The tiger does not like the cow.[(((((triple3) -> rule4) triple2) -> rule5))] @3: The cow chases the lion.[(((((((triple1) -> rule8)) -> rule3)) -> rule6))]