The bear is blue. The bear does not like the mouse. The bear needs the squirrel. The cat chases the bear. The cat chases the mouse. The cat is cold. The mouse chases the cat. The mouse is cold. The mouse likes the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel needs the cat. If something chases the cat then it chases the squirrel.
The cat does not chase the squirrel.
@0: The bear does not like the mouse.[(triple2)] The bear is blue.[(triple1)] The bear needs the squirrel.[(triple3)] The cat chases the bear.[(triple4)] The cat chases the mouse.[(triple5)] The cat is cold.[(triple6)] The mouse chases the cat.[(triple7)] The mouse is cold.[(triple8)] The mouse likes the squirrel.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The mouse chases the squirrel.[(((triple7) -> rule1))]