The cat likes the lion. The lion likes the cat. The lion likes the tiger. The lion visits the tiger. The squirrel is red. The squirrel needs the tiger. The squirrel visits the lion. The tiger likes the cat. The tiger likes the lion. The tiger likes the squirrel. The tiger needs the squirrel. The tiger visits the cat. If someone visits the cat then the cat is kind.
The squirrel is not red.
@0: The cat likes the lion.[(triple1)] The lion likes the cat.[(triple2)] The lion likes the tiger.[(triple3)] The lion visits the tiger.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel visits the lion.[(triple7)] The tiger likes the cat.[(triple8)] The tiger likes the lion.[(triple9)] The tiger likes the squirrel.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat is kind.[(((triple12) -> rule1))]