The cat visits the squirrel. The lion visits the squirrel. The squirrel visits the cat. If someone visits the lion then the lion is red. If someone is red then they eat the cat. If the squirrel visits the cat then the squirrel chases the cat. If the lion is rough and the lion does not eat the squirrel then the lion chases the squirrel. If someone visits the cat then the cat is young. If someone chases the cat then the cat is red.
The squirrel does not visit the lion.
@0: The cat visits the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel visits the cat.[(triple3)] @1: The cat is young.[(((triple3) -> rule5))] The squirrel chases the cat.[(((triple3) -> rule3))] @2: The cat is red.[(((((triple3) -> rule3)) -> rule6))] @3: The cat eats the cat.[(((((((triple3) -> rule3)) -> rule6)) -> rule2))]