The bear chases the lion. The bear eats the cat. The cat eats the mouse. The cat visits the mouse. The lion chases the bear. The lion is not nice. The mouse visits the bear. If something eats the bear then it chases the cat. If the bear is nice and the bear visits the lion then the bear is young. If something is young and green then it does not visit the bear. If something chases the bear and the bear visits the lion then the bear chases the mouse. If something chases the lion then it does not chase the bear. If something chases the cat and it eats the lion then the lion eats the mouse.
The lion is not nice.
@0: The bear chases the lion.[(triple1)] The bear eats the cat.[(triple2)] The cat eats the mouse.[(triple3)] The cat visits the mouse.[(triple4)] The lion chases the bear.[(triple5)] The lion is not nice.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear does not chase the bear.[(((triple1) -> rule5))]