The bear eats the rabbit. The bear eats the squirrel. The bear is round. The rabbit eats the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the bear. If someone eats the bear and the bear visits the rabbit then the rabbit chases the squirrel. If someone visits the squirrel and they eat the bear then the bear eats the squirrel. If someone eats the squirrel then they visit the rabbit.
The squirrel does not eat the squirrel.
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is round.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel eats the bear.[(triple7)] @1: The bear visits the rabbit.[(((triple2) -> rule3))] The rabbit visits the rabbit.[(((triple4) -> rule3))] @2: The rabbit chases the squirrel.[(((triple7 ((triple2) -> rule3)) -> rule1))]