The bear sees the cat. The cat sees the bear. The lion likes the cat. If the cat sees the bear then the cat is red. If the cat is young and the cat is not cold then the cat likes the bear. If something needs the lion then it is blue. If something needs the lion and it is young then the lion is not cold. If something sees the lion and it likes the cat then the lion does not need the bear. If something is red then it does not like the bear.
The bear is blue.
@0: The bear sees the cat.[(triple1)] The cat sees the bear.[(triple2)] The lion likes the cat.[(triple3)] @1: The cat is red.[(((triple2) -> rule1))] @2: The cat does not like the bear.[(((((triple2) -> rule1)) -> rule6))]