The cow needs the rabbit. The mouse needs the cow. The rabbit needs the cow. If something chases the mouse and it does not like the rabbit then it needs the cow. If something is rough then it needs the cow. If the rabbit is not rough then the rabbit does not chase the cow. If the rabbit is blue then the rabbit likes the mouse. If something is green and it needs the cow then the cow chases the rabbit. If something needs the cow then the cow is rough. If something chases the rabbit then it does not need the rabbit. If something likes the cow and it does not chase the rabbit then it needs the rabbit.
The cow needs the cow.
@0: The cow needs the rabbit.[(triple1)] The mouse needs the cow.[(triple2)] The rabbit needs the cow.[(triple3)] @1: The cow is rough.[(((triple2) -> rule6) OR ((triple3) -> rule6))] @2: The cow needs the cow.[(((((triple2) -> rule6)) -> rule2) OR ((((triple3) -> rule6)) -> rule2))]