The cat eats the dog. The dog visits the squirrel. The squirrel visits the dog. If someone visits the squirrel and they are kind then the squirrel eats the dog. If someone visits the dog then the dog visits the cat. If someone eats the squirrel then they visit the dog. If someone eats the dog then they eat the squirrel. If the cat visits the dog then the dog eats the squirrel. If someone eats the squirrel and they are blue then they eat the dog.
The dog eats the squirrel.
@0: The cat eats the dog.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel visits the dog.[(triple3)] @1: The cat eats the squirrel.[(((triple1) -> rule4))] The dog visits the cat.[(((triple3) -> rule2) OR ((((((triple1) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule5)) -> rule3)) -> rule2))] @2: The cat visits the dog.[(((((triple1) -> rule4)) -> rule3))] @3: The dog eats the squirrel.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))] @4: The dog visits the dog.[(((((((((triple1) -> rule4)) -> rule3)) -> rule5)) -> rule3))]