The cat chases the squirrel. The cat chases the tiger. The cat eats the squirrel. The cat visits the tiger. The lion eats the cat. The lion is kind. The lion is red. The squirrel visits the tiger. The tiger visits the cat. The tiger visits the lion. If someone is red and they visit the squirrel then the squirrel is kind. If the squirrel is cold and the squirrel eats the lion then the squirrel chases the tiger. If someone eats the cat and they chase the tiger then they visit the tiger. If someone is kind then they visit the squirrel. If someone visits the squirrel and they chase the lion then the lion visits the squirrel. If someone eats the cat then the cat is red.
The tiger does not visit the tiger.
@0: The cat chases the squirrel.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the squirrel.[(triple3)] The cat visits the tiger.[(triple4)] The lion eats the cat.[(triple5)] The lion is kind.[(triple6)] The lion is red.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger visits the cat.[(triple9)] The tiger visits the lion.[(triple10)] @1: The cat is red.[(((triple5) -> rule6))] The lion visits the squirrel.[(((triple6) -> rule4))] @2: The squirrel is kind.[(((triple7 ((triple6) -> rule4)) -> rule1))] @3: The squirrel visits the squirrel.[(((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule4))]