The dog visits the tiger. The lion sees the dog. The mouse is round. The tiger sees the dog. If someone sees the lion and the lion visits the tiger then the tiger sees the dog. If someone visits the dog and the dog is red then the dog is round. If someone sees the lion and they visit the lion then they need the dog. If someone is young and they visit the lion then they visit the mouse. If someone is red then they need the mouse. If someone is red and they visit the tiger then they visit the mouse. If someone visits the tiger then they need the lion. If the lion is round then the lion needs the dog.
The dog visits the tiger.
@0: The dog visits the tiger.[(triple1)] The lion sees the dog.[(triple2)] The mouse is round.[(triple3)] The tiger sees the dog.[(triple4)] @1: The dog needs the lion.[(((triple1) -> rule7))]