The mouse is green. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is round. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel sees the mouse. All young people are nice. If someone needs the mouse then the mouse sees the squirrel. If someone is rough then they see the squirrel. If someone needs the squirrel and the squirrel is rough then they like the squirrel. If someone is round and green then they like the mouse. If someone likes the mouse and the mouse sees the squirrel then they see the mouse. If someone likes the squirrel then they see the mouse. If someone needs the mouse then they are rough.
The mouse sees the mouse.
@0: The mouse is green.[(triple1)] The mouse needs the squirrel.[(triple2)] The mouse sees the squirrel.[(triple3 OR ((triple6) -> rule2))] The squirrel is round.[(triple4)] The squirrel likes the mouse.[(triple5)] The squirrel needs the mouse.[(triple6)] The squirrel sees the mouse.[(triple7 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple6) -> rule2)) -> rule6))] @1: The squirrel is rough.[(((triple6) -> rule8))] @2: The mouse likes the squirrel.[(((triple2 ((triple6) -> rule8)) -> rule4))] The squirrel sees the squirrel.[(((((triple6) -> rule8)) -> rule3))] @3: The mouse sees the mouse.[(((((triple2 ((triple6) -> rule8)) -> rule4)) -> rule7))]