The cat eats the squirrel. The lion visits the squirrel. The rabbit chases the cat. The squirrel chases the rabbit. If something chases the squirrel then it visits the squirrel. If something visits the squirrel then it chases the cat. If the lion chases the cat and the cat is red then the lion is red. If something visits the squirrel then it does not chase the squirrel. If something visits the squirrel then it visits the lion. If something visits the rabbit and the rabbit does not visit the squirrel then the squirrel is rough.
The cat does not eat the squirrel.
@0: The cat eats the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The rabbit chases the cat.[(triple3)] The squirrel chases the rabbit.[(triple4)] @1: The lion chases the cat.[(((triple2) -> rule2))] The lion does not chase the squirrel.[(((triple2) -> rule4))] The lion visits the lion.[(((triple2) -> rule5))]