The bear chases the squirrel. The bear is green. The bear is red. The bear is young. The bear likes the mouse. The bear does not like the squirrel. The bear sees the squirrel. The mouse chases the bear. The mouse is green. The mouse is not red. The mouse likes the squirrel. The mouse sees the bear. The squirrel chases the mouse. The squirrel is green. The squirrel sees the mouse. If someone likes the bear then they are cold. All red people are cold. If someone is green then they like the bear. If someone is red then they chase the mouse. If someone chases the bear then they do not chase the squirrel. If someone is round then they do not see the squirrel. If the bear does not see the squirrel and the bear does not like the mouse then the mouse sees the squirrel. If the mouse likes the squirrel then the mouse does not see the squirrel.
The mouse is red.
@0: The bear chases the squirrel.[(triple1)] The bear does not like the squirrel.[(triple6)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the squirrel.[(triple7)] The mouse chases the bear.[(triple8)] The mouse is green.[(triple9)] The mouse is not red.[(triple10)] The mouse likes the squirrel.[(triple11)] The mouse sees the bear.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel is green.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The bear chases the mouse.[(((triple3) -> rule4))] The bear is cold.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule1))] The bear likes the bear.[(((triple2) -> rule3))] The mouse does not chase the squirrel.[(((triple8) -> rule5))] The mouse does not see the squirrel.[(((triple11) -> rule8))] The mouse likes the bear.[(((triple9) -> rule3))] The squirrel likes the bear.[(((triple14) -> rule3))] @2: The mouse is cold.[(((((triple9) -> rule3)) -> rule1))] The squirrel is cold.[(((((triple14) -> rule3)) -> rule1))]