The bear is rough. The dog does not eat the bear. The lion eats the squirrel. The squirrel is green. If something chases the squirrel and it needs the lion then the lion does not need the dog. If something chases the bear and the bear is not green then it does not eat the bear. If something eats the dog and it is green then the dog is green. If the bear chases the lion then the lion is red. If something is rough then it eats the lion. If something chases the squirrel then it is rough. If the lion chases the bear and the lion is not red then the bear eats the lion. If something chases the dog and it is not green then the dog does not need the squirrel.
The squirrel is not green.
@0: The bear is rough.[(triple1)] The dog does not eat the bear.[(triple2)] The lion eats the squirrel.[(triple3)] The squirrel is green.[(triple4)] @1: The bear eats the lion.[(((triple1) -> rule5))]