The bear is cold. The bear is young. The bear likes the lion. The cow chases the lion. The cow needs the lion. The dog likes the cow. The lion chases the cow. If something likes the cow then the cow likes the bear. If something likes the dog then it needs the lion. Blue things are young. If something likes the dog and it does not chase the bear then the dog is rough. If something likes the bear and the bear is young then the bear likes the dog. If something likes the bear and the bear does not need the dog then it needs the cow.
The lion chases the lion.
@0: The bear is cold.[(triple1)] The bear is young.[(triple2)] The bear likes the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow needs the lion.[(triple5)] The dog likes the cow.[(triple6)] The lion chases the cow.[(triple7)] @1: The cow likes the bear.[(((triple6) -> rule1))] @2: The bear likes the dog.[(((((triple6) -> rule1) triple2) -> rule5))] @3: The bear needs the lion.[(((((((triple6) -> rule1) triple2) -> rule5)) -> rule2))]