The bear is green. The mouse is young. The mouse visits the bear. The mouse visits the squirrel. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel is green. If someone sees the squirrel and the squirrel is round then they see the bear. If someone chases the bear then they see the squirrel. If someone visits the mouse then they chase the bear. If someone visits the mouse then the mouse visits the bear. If someone is big then they chase the bear. If the mouse sees the bear then the bear is green.
The rabbit does not chase the bear.
@0: The bear is green.[(triple1)] The mouse is young.[(triple2)] The mouse visits the bear.[(triple3 OR ((triple5) -> rule4))] The mouse visits the squirrel.[(triple4)] The rabbit visits the mouse.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is green.[(triple7)] @1: The rabbit chases the bear.[(((triple5) -> rule3))] @2: The rabbit sees the squirrel.[(((((triple5) -> rule3)) -> rule2))]