The bear chases the mouse. The bear is green. The bear is kind. The dog is kind. The mouse does not chase the bear. The mouse likes the bear. The mouse likes the dog. If something is cold then it chases the mouse. If something likes the bear and it chases the bear then the bear is young. If something sees the mouse then it does not chase the bear. If something is young and it sees the mouse then the mouse chases the bear. If something likes the bear then it likes the mouse. If something chases the dog and it is young then it likes the mouse.
The bear is not young.
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The dog is kind.[(triple4)] The mouse does not chase the bear.[(triple5)] The mouse likes the bear.[(triple6)] The mouse likes the dog.[(triple7)] @1: The mouse likes the mouse.[(((triple6) -> rule5))]