The cat is kind. The cat is round. The cat is young. The dog is green. The dog is young. The dog likes the squirrel. The squirrel likes the dog. If something is kind then it does not visit the squirrel. If something chases the dog and the dog chases the squirrel then the squirrel visits the cat.
The cat is round.
@0: The cat is kind.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The dog is green.[(triple4)] The dog is young.[(triple5)] The dog likes the squirrel.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The cat does not visit the squirrel.[(((triple1) -> rule1))]