The bear is green. The bear visits the mouse. The lion chases the squirrel. The lion needs the squirrel. The mouse chases the lion. The mouse is big. The mouse is kind. The mouse visits the squirrel. The squirrel is cold. The squirrel is nice. If someone visits the lion and they need the bear then they need the squirrel. If someone is kind then they chase the squirrel. If someone chases the bear then they are nice.
The bear is not nice.
@0: The bear is green.[(triple1)] The bear visits the mouse.[(triple2)] The lion chases the squirrel.[(triple3)] The lion needs the squirrel.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] @1: The mouse chases the squirrel.[(((triple7) -> rule2))]