The dog visits the tiger. The tiger visits the dog. If something needs the dog then it is round. If something is blue and it needs the tiger then it is round. If something likes the tiger then it visits the tiger. If the dog likes the tiger and the tiger needs the dog then the dog needs the tiger. If something visits the tiger then the tiger needs the dog. If something is round then it likes the tiger.
The dog is not rough.
@0: The dog visits the tiger.[(triple1)] The tiger visits the dog.[(triple2)] @1: The tiger needs the dog.[(((triple1) -> rule5))] @2: The tiger is round.[(((((triple1) -> rule5)) -> rule1))] @3: The tiger likes the tiger.[(((((((triple1) -> rule5)) -> rule1)) -> rule6))] @4: The tiger visits the tiger.[(((((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule3))]