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