The bear eats the tiger. The lion eats the bear. The lion is kind. The lion is not round. The lion is not young. The lion visits the rabbit. The rabbit eats the bear. The rabbit eats the tiger. The rabbit is young. The tiger eats the bear. The tiger visits the lion. The tiger does not visit the rabbit. If something visits the bear and it is not kind then the bear does not eat the tiger. If something likes the rabbit then the rabbit likes the lion. If something visits the rabbit then it does not eat the lion. If something eats the bear and it does not visit the bear then the bear likes the rabbit. If something is red and it does not eat the tiger then the tiger eats the bear. If something eats the bear and it does not visit the tiger then it visits the rabbit.
The lion eats the bear.
@0: The bear eats the tiger.[(triple1)] The lion eats the bear.[(triple2)] The lion is kind.[(triple3)] The lion is not round.[(triple4)] The lion is not young.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is young.[(triple9)] The tiger does not visit the rabbit.[(triple12)] The tiger eats the bear.[(triple10)] The tiger visits the lion.[(triple11)] @1: The lion does not eat the lion.[(((triple6) -> rule3))]