The bear eats the cat. The bear is green. The bear is nice. The cat is cold. The dog is cold. The dog likes the bear. The lion chases the bear. If someone is nice then they eat the dog. If someone chases the lion then the lion is green.
The lion does not eat the dog.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The cat is cold.[(triple4)] The dog is cold.[(triple5)] The dog likes the bear.[(triple6)] The lion chases the bear.[(triple7)] @1: The bear eats the dog.[(((triple3) -> rule1))]