The cow needs the rabbit. The dog likes the cow. The mouse is blue. The rabbit visits the cow. If something likes the mouse then it is cold. If something is young then it needs the rabbit. If something likes the mouse and it is blue then the mouse needs the cow. If something needs the rabbit and it is green then it is cold. If something is blue then it needs the rabbit. If something visits the cow and it visits the rabbit then the cow visits the mouse.
The rabbit does not need the rabbit.
@0: The cow needs the rabbit.[(triple1)] The dog likes the cow.[(triple2)] The mouse is blue.[(triple3)] The rabbit visits the cow.[(triple4)] @1: The mouse needs the rabbit.[(((triple3) -> rule5))]