The dog sees the rabbit. The rabbit sees the dog. The squirrel is kind. If someone sees the rabbit and the rabbit sees the dog then the dog is round. If someone visits the squirrel and the squirrel chases the dog then they see the dog. If the dog is round then the dog is nice. If someone is big and they see the dog then the dog is kind. If someone chases the squirrel then they see the rabbit. If someone is nice then they chase the dog. Nice people are kind. If someone visits the squirrel and they are nice then the squirrel is young.
The squirrel does not see the dog.
@0: The dog sees the rabbit.[(triple1)] The rabbit sees the dog.[(triple2)] The squirrel is kind.[(triple3)] @1: The dog is round.[(((triple1 triple2) -> rule1))] @2: The dog is nice.[(((((triple1 triple2) -> rule1)) -> rule3))] @3: The dog chases the dog.[(((((((triple1 triple2) -> rule1)) -> rule3)) -> rule6))] The dog is kind.[(((((((triple1 triple2) -> rule1)) -> rule3)) -> rule7))]