The cow chases the squirrel. The dog chases the cow. The squirrel likes the cow. If something chases the squirrel then it does not need the dog. All big things are not nice. If something chases the squirrel then the squirrel likes the cow. If something chases the squirrel then it does not chase the dog. If something is rough then it needs the cow. If the squirrel does not need the dog then the dog likes the cow.
The dog does not chase the cow.
@0: The cow chases the squirrel.[(triple1)] The dog chases the cow.[(triple2)] The squirrel likes the cow.[(triple3 OR ((triple1) -> rule3))] @1: The cow does not chase the dog.[(((triple1) -> rule4))] The cow does not need the dog.[(((triple1) -> rule1))]