The bear is big. The bear needs the squirrel. The mouse does not chase the squirrel. The mouse does not need the squirrel. The squirrel does not chase the bear. The squirrel chases the mouse. The squirrel is red. If something needs the squirrel then the squirrel needs the mouse. If something needs the mouse and it is red then it does not like the mouse. If something is green and it likes the squirrel then it needs the squirrel. If something is cold then it does not need the squirrel. If something needs the squirrel then the squirrel is not blue. If the squirrel does not like the mouse and the squirrel does not chase the bear then the mouse chases the bear.
The bear is cold.
@0: The bear is big.[(triple1)] The bear needs the squirrel.[(triple2)] The mouse does not chase the squirrel.[(triple3)] The mouse does not need the squirrel.[(triple4)] The squirrel chases the mouse.[(triple6)] The squirrel does not chase the bear.[(triple5)] The squirrel is red.[(triple7)] @1: The squirrel is not blue.[(((triple2) -> rule5))] The squirrel needs the mouse.[(((triple2) -> rule1))] @2: The squirrel does not like the mouse.[(((((triple2) -> rule1) triple7) -> rule2))] @3: The mouse chases the bear.[(((((((triple2) -> rule1) triple7) -> rule2) triple5) -> rule6))]