The dog is big. The dog is round. The dog likes the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is round. The tiger sees the dog. If someone sees the dog then they are round. If someone is big and they like the tiger then they see the tiger.
The tiger does not see the tiger.
@0: The dog is big.[(triple1)] The dog is round.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the tiger.[(triple4 OR ((triple1 triple3) -> rule2))] The dog visits the tiger.[(triple5)] The tiger is round.[(triple6 OR ((triple7) -> rule1))] The tiger sees the dog.[(triple7)]