The bear sees the lion. The cow eats the lion. The lion is not cold. If the lion is young and the lion eats the cow then the lion does not need the cow. If someone sees the bear then they see the cow. If the bear eats the cow and the bear does not need the cow then the bear eats the lion. If the lion does not see the cow then the cow needs the bear. If someone sees the lion then the lion is blue. If someone is cold and they do not need the bear then they see the lion.
The cow does not eat the lion.
@0: The bear sees the lion.[(triple1)] The cow eats the lion.[(triple2)] The lion is not cold.[(triple3)] @1: The lion is blue.[(((triple1) -> rule5))]