The bear is kind. The cow eats the squirrel. The cow needs the lion. The cow sees the lion. The lion eats the squirrel. The squirrel is rough. The squirrel needs the bear. If something sees the cow then it is rough. If something sees the lion then the lion sees the bear. All kind things are green. If something sees the squirrel then the squirrel is round. If something needs the bear and the bear is round then it sees the squirrel. If something is big and it sees the lion then it eats the bear.
The cow sees the lion.
@0: The bear is kind.[(triple1)] The cow eats the squirrel.[(triple2)] The cow needs the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion eats the squirrel.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The bear is green.[(((triple1) -> rule3))] The lion sees the bear.[(((triple4) -> rule2))]