The bear eats the squirrel. The bear is young. The cat likes the bear. The mouse is round. The mouse likes the cat. The squirrel likes the bear. The squirrel likes the cat. If someone is round then they eat the cat.
The cat likes the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is young.[(triple2)] The cat likes the bear.[(triple3)] The mouse is round.[(triple4)] The mouse likes the cat.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel likes the cat.[(triple7)] @1: The mouse eats the cat.[(((triple4) -> rule1))]