The dog is blue. The dog is kind. The dog is nice. The dog is young. The dog needs the mouse. The dog sees the mouse. The mouse is blue. The mouse is nice. The mouse is young. The mouse needs the dog. The mouse sees the dog. The mouse visits the dog. If someone sees the dog and the dog visits the mouse then the mouse visits the dog. If someone is young and they visit the mouse then the mouse sees the dog. If someone needs the dog and the dog is nice then the dog needs the mouse. If someone is nice then they are blue. If someone sees the mouse and they are kind then the mouse visits the dog. If someone needs the mouse and they see the dog then they visit the dog. If someone visits the dog then the dog is kind. If someone sees the dog and the dog visits the mouse then the dog sees the mouse.
The dog does not visit the dog.
@0: The dog is blue.[(triple1 OR ((triple3) -> rule4))] The dog is kind.[(triple2 OR ((triple12) -> rule7))] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog needs the mouse.[(triple5 OR ((triple10 triple3) -> rule3))] The dog sees the mouse.[(triple6)] The mouse is blue.[(triple7 OR ((triple8) -> rule4))] The mouse is nice.[(triple8)] The mouse is young.[(triple9)] The mouse needs the dog.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the dog.[(triple12 OR ((triple6 triple2) -> rule5))]