The cow is red. The lion is round. The mouse chases the lion. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is red. The squirrel is rough. If something is green then it needs the mouse. If something needs the mouse and it needs the cow then the mouse chases the cow. If something eats the lion then it chases the lion. If something eats the cow then it is young. If something eats the squirrel then it chases the mouse. If something is red then it chases the mouse.
The lion is round.
@0: The cow is red.[(triple1)] The lion is round.[(triple2)] The mouse chases the lion.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] @1: The cow chases the mouse.[(((triple1) -> rule6))] The squirrel chases the mouse.[(((triple6) -> rule6))]