The dog sees the squirrel. The dog visits the rabbit. The rabbit likes the squirrel. The rabbit sees the dog. The squirrel likes the dog. The squirrel sees the dog. The squirrel does not visit the rabbit. If someone sees the dog and the dog visits the rabbit then they visit the dog. If someone visits the dog then they are not young.
The squirrel does not visit the dog.
@0: The dog sees the squirrel.[(triple1)] The dog visits the rabbit.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit sees the dog.[(triple4)] The squirrel does not visit the rabbit.[(triple7)] The squirrel likes the dog.[(triple5)] The squirrel sees the dog.[(triple6)] @1: The rabbit visits the dog.[(((triple4 triple2) -> rule1))] The squirrel visits the dog.[(((triple6 triple2) -> rule1))] @2: The rabbit is not young.[(((((triple4 triple2) -> rule1)) -> rule2))] The squirrel is not young.[(((((triple6 triple2) -> rule1)) -> rule2))]