The lion is blue. The lion is rough. The lion needs the mouse. The lion sees the mouse. The lion does not visit the mouse. The mouse is not green. The mouse needs the lion. The mouse sees the lion. The mouse visits the lion. The squirrel needs the mouse. The squirrel sees the mouse. The squirrel visits the lion. If someone visits the lion then the lion is not young. If someone needs the mouse and they are not young then the mouse sees the squirrel. If someone needs the squirrel and they are rough then the squirrel is cold. If someone is cold then they need the mouse. If someone sees the squirrel then the squirrel is rough. If someone needs the mouse then they are green.
The squirrel is not rough.
@0: The lion does not visit the mouse.[(triple5)] The lion is blue.[(triple1)] The lion is rough.[(triple2)] The lion needs the mouse.[(triple3)] The lion sees the mouse.[(triple4)] The mouse is not green.[(triple6)] The mouse needs the lion.[(triple7)] The mouse sees the lion.[(triple8)] The mouse visits the lion.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel sees the mouse.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The lion is green.[(((triple3) -> rule6))] The lion is not young.[(((triple12) -> rule1) OR ((triple9) -> rule1))] The squirrel is green.[(((triple10) -> rule6))] @2: The mouse sees the squirrel.[(((triple3 ((triple12) -> rule1)) -> rule2) OR ((triple3 ((triple9) -> rule1)) -> rule2))] @3: The squirrel is rough.[(((((triple3 ((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((triple3 ((triple9) -> rule1)) -> rule2)) -> rule5))]