The bear eats the squirrel. The bear is blue. The bear likes the mouse. The mouse eats the squirrel. The mouse is cold. The mouse is rough. The mouse likes the bear. The squirrel eats the mouse. The squirrel likes the bear. The squirrel sees the bear. If someone likes the bear then the bear sees the squirrel. If someone sees the mouse then they are blue. If someone is rough and red then they see the squirrel. If someone eats the mouse and the mouse sees the squirrel then they are rough. If someone eats the mouse and they see the squirrel then the mouse likes the bear. If someone eats the squirrel then they are red. If the bear eats the mouse then the bear is rough. If someone likes the bear and they eat the squirrel then the bear is cold.
The squirrel does not like the mouse.
@0: The bear eats the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear likes the mouse.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is cold.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the bear.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear is cold.[(((triple7 triple4) -> rule8))] The bear is red.[(((triple1) -> rule6))] The bear sees the squirrel.[(((triple7) -> rule1) OR ((triple9) -> rule1))] The mouse is red.[(((triple4) -> rule6))] @2: The mouse sees the squirrel.[(((triple6 ((triple4) -> rule6)) -> rule3))] @3: The squirrel is rough.[(((triple8 ((triple6 ((triple4) -> rule6)) -> rule3)) -> rule4))]