The cat sees the squirrel. The lion eats the cat. The squirrel sees the lion. All kind, red people are blue. If someone visits the squirrel and they eat the cat then they see the cat. If someone visits the squirrel then the squirrel is red. If someone eats the lion then they do not visit the squirrel. If someone sees the cat then they see the squirrel. If the lion eats the cat then the lion visits the cat.
The lion does not eat the cat.
@0: The cat sees the squirrel.[(triple1)] The lion eats the cat.[(triple2)] The squirrel sees the lion.[(triple3)] @1: The lion visits the cat.[(((triple2) -> rule6))]