The bear chases the squirrel. The bear is blue. The mouse chases the bear. The mouse is blue. The mouse visits the bear. The mouse visits the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is not cold. The squirrel needs the mouse. The squirrel visits the bear. The squirrel visits the mouse. If someone needs the mouse then the mouse chases the bear. If someone is nice and cold then they need the squirrel. If someone needs the bear then the bear visits the mouse. If someone visits the mouse then they are not kind. If someone visits the bear then they chase the bear. If someone visits the squirrel then they are blue. If someone visits the squirrel then they need the bear. If someone is nice then they visit the squirrel.
The mouse does not need the mouse.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The mouse chases the bear.[(triple3 OR ((triple10) -> rule1) OR ((triple5) -> rule5))] The mouse is blue.[(triple4 OR ((triple6) -> rule6))] The mouse visits the bear.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel chases the bear.[(triple7 OR ((triple11) -> rule5))] The squirrel is blue.[(triple8)] The squirrel is not cold.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The mouse needs the bear.[(((triple6) -> rule7))] The squirrel is not kind.[(((triple12) -> rule4))] @2: The bear visits the mouse.[(((((triple6) -> rule7)) -> rule3))] @3: The bear is not kind.[(((((((triple6) -> rule7)) -> rule3)) -> rule4))]