The cat eats the lion. The cat is kind. The cat sees the tiger. The lion is kind. The lion is round. The lion sees the cat. The lion visits the cat. The lion visits the squirrel. The squirrel eats the tiger. The squirrel sees the cat. The squirrel visits the lion. The tiger sees the lion. If someone sees the tiger and they see the cat then the cat visits the tiger. If the tiger eats the cat and the tiger sees the lion then the cat is red. If the lion is round and the lion is kind then the lion sees the squirrel. If the lion eats the squirrel and the squirrel is red then the squirrel sees the tiger. If someone sees the squirrel then the squirrel sees the lion. If someone is red then they eat the lion.
The squirrel sees the cat.
@0: The cat eats the lion.[(triple1)] The cat is kind.[(triple2)] The cat sees the tiger.[(triple3)] The lion is kind.[(triple4)] The lion is round.[(triple5)] The lion sees the cat.[(triple6)] The lion visits the cat.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel eats the tiger.[(triple9)] The squirrel sees the cat.[(triple10)] The squirrel visits the lion.[(triple11)] The tiger sees the lion.[(triple12)] @1: The lion sees the squirrel.[(((triple5 triple4) -> rule3))] @2: The squirrel sees the lion.[(((((triple5 triple4) -> rule3)) -> rule5))]