The bear eats the cat. The bear sees the cat. The cat eats the bear. The cat is red. The cat sees the rabbit. The rabbit eats the squirrel. The rabbit sees the squirrel. The squirrel eats the bear. The squirrel eats the cat. The squirrel visits the rabbit. If something sees the cat then the cat visits the squirrel. If something eats the squirrel and the squirrel is green then the squirrel does not visit the cat. If something is nice and it eats the squirrel then the squirrel visits the cat. If something is red and it visits the squirrel then it eats the cat. If the rabbit is not green and the rabbit does not see the bear then the rabbit visits the squirrel. If something visits the bear then the bear eats the rabbit. If the squirrel does not eat the rabbit then the rabbit visits the cat. If something visits the cat and it sees the squirrel then the cat does not eat the bear.
The squirrel does not visit the cat.
@0: The bear eats the cat.[(triple1)] The bear sees the cat.[(triple2)] The cat eats the bear.[(triple3)] The cat is red.[(triple4)] The cat sees the rabbit.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The cat visits the squirrel.[(((triple2) -> rule1))] @2: The cat eats the cat.[(((triple4 ((triple2) -> rule1)) -> rule4))]