The lion eats the tiger. The rabbit chases the lion. The rabbit eats the lion. The rabbit is blue. The rabbit likes the tiger. The tiger chases the rabbit. The tiger likes the lion. If something chases the lion and it likes the tiger then the lion chases the rabbit. If something eats the tiger and it likes the rabbit then it chases the tiger. If the lion is big then the lion is rough. If the tiger eats the rabbit and the tiger chases the rabbit then the rabbit likes the tiger. If something likes the tiger and it eats the tiger then it eats the lion. If something chases the rabbit then the rabbit is blue.
The tiger likes the lion.
@0: The lion eats the tiger.[(triple1)] The rabbit chases the lion.[(triple2)] The rabbit eats the lion.[(triple3)] The rabbit is blue.[(triple4 OR ((triple6) -> rule6) OR ((((triple2 triple5) -> rule1)) -> rule6))] The rabbit likes the tiger.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger likes the lion.[(triple7)] @1: The lion chases the rabbit.[(((triple2 triple5) -> rule1))]