The bear chases the mouse. The bear needs the mouse. The mouse does not chase the squirrel. The mouse is big. The mouse is blue. The squirrel chases the bear. The squirrel is not blue. If the squirrel is big and the squirrel chases the mouse then the squirrel is blue. If someone is cold and they chase the mouse then they are blue. If someone likes the squirrel and they like the bear then they are not blue. If someone is blue then they do not chase the squirrel. If the bear is red and the bear likes the mouse then the mouse does not chase the bear. If someone likes the mouse and the mouse chases the bear then they are cold.
The bear does not need the mouse.
@0: The bear chases the mouse.[(triple1)] The bear needs the mouse.[(triple2)] The mouse does not chase the squirrel.[(triple3 OR ((triple5) -> rule4))] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is not blue.[(triple7)]