The bear eats the tiger. The mouse does not chase the bear. The mouse chases the squirrel. The mouse chases the tiger. The mouse is blue. The mouse visits the bear. The squirrel eats the bear. The squirrel does not eat the mouse. The squirrel is kind. The squirrel does not visit the bear. The tiger visits the bear. The tiger visits the squirrel. If the bear eats the squirrel then the bear is kind. If something chases the squirrel and the squirrel chases the bear then the bear does not eat the mouse. If something is blue then it does not eat the bear. All nice things are blue. All rough things are not blue. If something visits the squirrel then it is nice.
The tiger eats the mouse.
@0: The bear eats the tiger.[(triple1)] The mouse chases the squirrel.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse does not chase the bear.[(triple2)] The mouse is blue.[(triple5)] The mouse visits the bear.[(triple6)] The squirrel does not eat the mouse.[(triple8)] The squirrel does not visit the bear.[(triple10)] The squirrel eats the bear.[(triple7)] The squirrel is kind.[(triple9)] The tiger visits the bear.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The mouse does not eat the bear.[(((triple5) -> rule3))] The tiger is nice.[(((triple12) -> rule6))] @2: The tiger is blue.[(((((triple12) -> rule6)) -> rule4))] @3: The tiger does not eat the bear.[(((((((triple12) -> rule6)) -> rule4)) -> rule3))]