The bear sees the rabbit. The bear visits the tiger. The lion is kind. The lion sees the bear. The rabbit sees the tiger. The tiger needs the bear. The tiger needs the lion. The tiger needs the rabbit. The tiger sees the bear. The tiger visits the bear. If something visits the tiger and the tiger needs the lion then the lion is blue.
The tiger needs the rabbit.
@0: The bear sees the rabbit.[(triple1)] The bear visits the tiger.[(triple2)] The lion is kind.[(triple3)] The lion sees the bear.[(triple4)] The rabbit sees the tiger.[(triple5)] The tiger needs the bear.[(triple6)] The tiger needs the lion.[(triple7)] The tiger needs the rabbit.[(triple8)] The tiger sees the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The lion is blue.[(((triple2 triple7) -> rule1))]