The lion chases the tiger. The lion eats the tiger. The lion is nice. The lion likes the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is blue. The tiger is kind. The tiger is nice. The tiger likes the lion. If something likes the tiger and it eats the tiger then it chases the lion. If something chases the lion and the lion eats the tiger then it is blue.
The tiger does not chase the tiger.
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2)] The lion is nice.[(triple3)] The lion likes the tiger.[(triple4)] The tiger chases the lion.[(triple5)] The tiger eats the lion.[(triple6)] The tiger is blue.[(triple7 OR ((triple5 triple2) -> rule2))] The tiger is kind.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion chases the lion.[(((triple4 triple2) -> rule1))] @2: The lion is blue.[(((((triple4 triple2) -> rule1) triple2) -> rule2))]