The bear sees the tiger. The dog sees the rabbit. The rabbit likes the dog. The rabbit likes the tiger. The rabbit visits the dog. The tiger sees the dog. The tiger visits the bear. If someone likes the dog then they like the tiger. If someone sees the tiger and the tiger is young then they are green. If the bear is green and the bear likes the rabbit then the rabbit likes the tiger. If someone is young and they visit the tiger then the tiger sees the dog. If someone is big then they are green. If someone sees the dog then they like the rabbit.
The dog likes the bear.
@0: The bear sees the tiger.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit likes the dog.[(triple3)] The rabbit likes the tiger.[(triple4 OR ((triple3) -> rule1))] The rabbit visits the dog.[(triple5)] The tiger sees the dog.[(triple6)] The tiger visits the bear.[(triple7)] @1: The tiger likes the rabbit.[(((triple6) -> rule6))]