The dog chases the squirrel. The dog is cold. The dog is young. The dog likes the squirrel. The dog needs the squirrel. The squirrel chases the dog. The squirrel is rough. The squirrel is young. The squirrel likes the dog. The squirrel needs the dog. If someone needs the squirrel then the squirrel chases the dog. If someone chases the squirrel then the squirrel likes the dog.
The dog does not chase the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is young.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel chases the dog.[(triple6 OR ((triple5) -> rule1))] The squirrel is rough.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the dog.[(triple9 OR ((triple1) -> rule2))] The squirrel needs the dog.[(triple10)]