The bear eats the rabbit. The bear sees the cat. The bear visits the squirrel. The cat is round. The cat sees the rabbit. The rabbit eats the squirrel. The rabbit sees the bear. The rabbit visits the bear. The squirrel is green. The squirrel visits the bear. If someone sees the cat then the cat visits the bear.
The bear sees the cat.
@0: The bear eats the rabbit.[(triple1)] The bear sees the cat.[(triple2)] The bear visits the squirrel.[(triple3)] The cat is round.[(triple4)] The cat sees the rabbit.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit sees the bear.[(triple7)] The rabbit visits the bear.[(triple8)] The squirrel is green.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The cat visits the bear.[(((triple2) -> rule1))]