The dog visits the lion. The lion eats the rabbit. The rabbit visits the lion. The tiger chases the dog. If something chases the tiger then the tiger visits the rabbit. If something is rough then it is red. If something visits the tiger then the tiger visits the lion. If something visits the lion then it is red. If something visits the lion then it eats the tiger. If something visits the dog then the dog visits the lion. If the lion is red then the lion is young. If something is young then it visits the lion.
The dog does not visit the lion.
@0: The dog visits the lion.[(triple1)] The lion eats the rabbit.[(triple2)] The rabbit visits the lion.[(triple3)] The tiger chases the dog.[(triple4)] @1: The dog eats the tiger.[(((triple1) -> rule5))] The dog is red.[(((triple1) -> rule4))] The rabbit eats the tiger.[(((triple3) -> rule5))] The rabbit is red.[(((triple3) -> rule4))]