The bear is cold. The bear is red. The bear likes the lion. The bear sees the lion. The cow is red. The lion likes the bear. The squirrel is big. If something is cold and it likes the lion then the lion is red. If something is young and it sees the cow then it eats the bear.
The bear is not cold.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear likes the lion.[(triple3)] The bear sees the lion.[(triple4)] The cow is red.[(triple5)] The lion likes the bear.[(triple6)] The squirrel is big.[(triple7)] @1: The lion is red.[(((triple1 triple3) -> rule1))]