The dog eats the tiger. The dog is cold. The dog is green. The dog sees the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is cold. The tiger is green. The tiger is kind. The tiger is young. If something sees the dog then it is green. If something sees the dog then the dog sees the tiger. If the dog eats the tiger then the tiger visits the dog.
The dog is green.
@0: The dog eats the tiger.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog sees the tiger.[(triple4)] The dog visits the tiger.[(triple5)] The tiger eats the dog.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger is kind.[(triple9)] The tiger is young.[(triple10)] @1: The tiger visits the dog.[(((triple1) -> rule3))]