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