The bear chases the rabbit. The bear chases the tiger. The lion chases the bear. The lion is kind. The rabbit eats the lion. The rabbit is kind. The rabbit likes the bear. The rabbit likes the lion. The tiger eats the lion. The tiger is red. The tiger is rough. The tiger likes the rabbit. If something eats the lion then it likes the lion. If something likes the tiger then the tiger is kind.
The tiger is rough.
@0: The bear chases the rabbit.[(triple1)] The bear chases the tiger.[(triple2)] The lion chases the bear.[(triple3)] The lion is kind.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit is kind.[(triple6)] The rabbit likes the bear.[(triple7)] The rabbit likes the lion.[(triple8 OR ((triple5) -> rule1))] The tiger eats the lion.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The tiger likes the lion.[(((triple9) -> rule1))]