The mouse chases the squirrel. The mouse is green. The mouse is young. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel is green. The squirrel is rough. If someone chases the squirrel and they are cold then they chase the mouse. If someone needs the mouse and they need the squirrel then they are rough. If someone needs the mouse then they are round. If someone likes the squirrel and they need the squirrel then the squirrel needs the mouse. If someone needs the squirrel then the squirrel is cold. If someone is round then they are young. If someone likes the mouse then the mouse chases the squirrel. If someone chases the squirrel then they like the squirrel.
The squirrel likes the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The mouse is green.[(triple2)] The mouse is young.[(triple3)] The mouse likes the squirrel.[(triple4 OR ((triple1) -> rule8))] The mouse needs the squirrel.[(triple5)] The squirrel is green.[(triple6)] The squirrel is rough.[(triple7)] @1: The squirrel is cold.[(((triple5) -> rule5))] The squirrel needs the mouse.[(((triple4 triple5) -> rule4) OR ((((triple1) -> rule8) triple5) -> rule4))] @2: The squirrel is round.[(((((triple4 triple5) -> rule4)) -> rule3) OR ((((((triple1) -> rule8) triple5) -> rule4)) -> rule3))] @3: The squirrel is young.[(((((((triple4 triple5) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8) triple5) -> rule4)) -> rule3)) -> rule6))]