The dog eats the squirrel. The dog is blue. The dog sees the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is young. The squirrel visits the dog. If something sees the squirrel then the squirrel eats the dog. If something sees the dog and it visits the squirrel then the squirrel is big. If something sees the dog and it visits the squirrel then it visits the dog.
The squirrel visits the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel eats the dog.[(triple5 OR ((triple3) -> rule1))] The squirrel is young.[(triple6)] The squirrel visits the dog.[(triple7)]