The cat eats the lion. The cat eats the squirrel. The cat is nice. The cat sees the lion. The cat visits the squirrel. The lion does not see the squirrel. The squirrel does not eat the lion. If someone eats the cat and they eat the squirrel then the squirrel visits the cat. If someone eats the squirrel then they do not visit the cat. If someone sees the squirrel and they are green then the squirrel does not visit the lion. If someone eats the squirrel then they eat the cat. If someone visits the cat then they do not eat the cat. If someone is kind then they do not eat the squirrel. If someone is kind then they do not visit the lion. If someone eats the squirrel and the squirrel eats the cat then they do not see the squirrel.
The squirrel does not eat the cat.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat sees the lion.[(triple4)] The cat visits the squirrel.[(triple5)] The lion does not see the squirrel.[(triple6)] The squirrel does not eat the lion.[(triple7)] @1: The cat does not visit the cat.[(((triple2) -> rule2))] The cat eats the cat.[(((triple2) -> rule4))] @2: The squirrel visits the cat.[(((((triple2) -> rule4) triple2) -> rule1))] @3: The squirrel does not eat the cat.[(((((((triple2) -> rule4) triple2) -> rule1)) -> rule5))]