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