The bear eats the dog. The bear is nice. The dog is young. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel likes the bear. If something is nice then it likes the dog. If something sees the bear then it is nice.
The dog is not nice.
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The dog is young.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bear likes the dog.[(((triple2) -> rule1))] The squirrel likes the dog.[(((triple4) -> rule1))]