The bear is young. The bear likes the lion. The cat chases the bear. The cat chases the lion. The cat is nice. The cat is young. The cat likes the bear. The cat sees the bear. The lion likes the bear. The lion likes the cat. If something likes the lion then it sees the lion.
The bear is not young.
@0: The bear is young.[(triple1)] The bear likes the lion.[(triple2)] The cat chases the bear.[(triple3)] The cat chases the lion.[(triple4)] The cat is nice.[(triple5)] The cat is young.[(triple6)] The cat likes the bear.[(triple7)] The cat sees the bear.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the cat.[(triple10)] @1: The bear sees the lion.[(((triple2) -> rule1))]