The cow visits the rabbit. The rabbit chases the cow. The squirrel visits the cow. If something visits the squirrel then it does not visit the rabbit. If something visits the squirrel then it is young. If something is green then it visits the cow. If something visits the rabbit then it is green. If something visits the cow then it chases the squirrel. If something likes the squirrel and it is not young then the squirrel is not rough.
The cow does not visit the cow.
@0: The cow visits the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The squirrel visits the cow.[(triple3)] @1: The cow is green.[(((triple1) -> rule4))] The squirrel chases the squirrel.[(((triple3) -> rule5))] @2: The cow visits the cow.[(((((triple1) -> rule4)) -> rule3))] @3: The cow chases the squirrel.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]