The bear is cold. The bear needs the cat. The cat needs the cow. The cow is cold. The cow is red. The cow likes the bear. The cow needs the bear. The cow needs the lion. The lion chases the bear. The lion needs the bear. If something needs the bear and it is red then it likes the cat. If the cow likes the cat and the cow is cold then the cow likes the lion. If something chases the cow then it chases the cat.
The bear does not like the cat.
@0: The bear is cold.[(triple1)] The bear needs the cat.[(triple2)] The cat needs the cow.[(triple3)] The cow is cold.[(triple4)] The cow is red.[(triple5)] The cow likes the bear.[(triple6)] The cow needs the bear.[(triple7)] The cow needs the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion needs the bear.[(triple10)] @1: The cow likes the cat.[(((triple7 triple5) -> rule1))] @2: The cow likes the lion.[(((((triple7 triple5) -> rule1) triple4) -> rule2))]