The bear chases the lion. The bear is blue. The bear sees the dog. The dog chases the lion. The dog likes the lion. The lion chases the dog. The lion is young. If something is blue and it likes the lion then the lion likes the bear. If something likes the dog then the dog chases the bear. If something sees the dog then it likes the lion.
The lion does not like the bear.
@0: The bear chases the lion.[(triple1)] The bear is blue.[(triple2)] The bear sees the dog.[(triple3)] The dog chases the lion.[(triple4)] The dog likes the lion.[(triple5)] The lion chases the dog.[(triple6)] The lion is young.[(triple7)] @1: The bear likes the lion.[(((triple3) -> rule3))] @2: The lion likes the bear.[(((triple2 ((triple3) -> rule3)) -> rule1))]