The bear eats the lion. The dog likes the bear. The dog likes the lion. The lion is kind. The lion is rough. The lion likes the dog. The lion likes the squirrel. The lion sees the bear. The squirrel eats the bear. The squirrel eats the dog. If the squirrel eats the bear then the squirrel likes the bear. If something is young and kind then it likes the lion. If something likes the bear then the bear likes the dog.
The squirrel does not eat the bear.
@0: The bear eats the lion.[(triple1)] The dog likes the bear.[(triple2)] The dog likes the lion.[(triple3)] The lion is kind.[(triple4)] The lion is rough.[(triple5)] The lion likes the dog.[(triple6)] The lion likes the squirrel.[(triple7)] The lion sees the bear.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel eats the dog.[(triple10)] @1: The bear likes the dog.[(((triple2) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] The squirrel likes the bear.[(((triple9) -> rule1))]