The bear eats the mouse. The bear is big. The bear is nice. The mouse chases the squirrel. The mouse eats the bear. The mouse is red. The mouse likes the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel eats the bear. The squirrel likes the bear. The squirrel likes the mouse. If something is nice and it chases the mouse then it is young. If something eats the bear and it is red then it eats the squirrel. If something chases the mouse then it eats the mouse. If something chases the squirrel then the squirrel is red. If the bear likes the squirrel and the bear likes the mouse then the mouse chases the squirrel. All big, nice things are kind.
The mouse is not young.
@0: The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is red.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The bear is kind.[(((triple2 triple3) -> rule6))] The mouse eats the squirrel.[(((triple5 triple6) -> rule2))] The squirrel eats the mouse.[(((triple9) -> rule3))] The squirrel is red.[(((triple4) -> rule4))] @2: The squirrel eats the squirrel.[(((triple10 ((triple4) -> rule4)) -> rule2))]