The dog eats the tiger. The dog is blue. The dog is round. The dog sees the tiger. The dog visits the tiger. The tiger is green. The tiger visits the dog. If someone visits the tiger and the tiger visits the dog then the tiger is blue.
The tiger does not eat the tiger.
@0: The dog eats the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is round.[(triple3)] The dog sees the tiger.[(triple4)] The dog visits the tiger.[(triple5)] The tiger is green.[(triple6)] The tiger visits the dog.[(triple7)] @1: The tiger is blue.[(((triple5 triple7) -> rule1))]