The cow does not need the squirrel. The dog is rough. The mouse does not need the cow. The squirrel is blue. If someone likes the dog then the dog likes the mouse. If someone needs the mouse then they need the dog. If the cow is big and the dog does not like the cow then the dog does not eat the mouse. If the cow is blue and the cow likes the squirrel then the squirrel likes the mouse. If someone likes the dog then they need the mouse. If someone is rough then they like the dog.
The dog does not like the dog.
@0: The cow does not need the squirrel.[(triple1)] The dog is rough.[(triple2)] The mouse does not need the cow.[(triple3)] The squirrel is blue.[(triple4)] @1: The dog likes the dog.[(((triple2) -> rule6))] @2: The dog likes the mouse.[(((((triple2) -> rule6)) -> rule1))] The dog needs the mouse.[(((((triple2) -> rule6)) -> rule5))] @3: The dog needs the dog.[(((((((triple2) -> rule6)) -> rule5)) -> rule2))]