The bear needs the dog. The bear needs the tiger. The dog is big. The dog is green. The dog is red. The dog needs the bear. The dog needs the tiger. The dog visits the bear. The dog visits the tiger. The tiger is green. The tiger needs the dog. The tiger visits the dog. If the bear needs the tiger then the tiger is blue.
The bear is blue.
@0: The bear needs the dog.[(triple1)] The bear needs the tiger.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog needs the bear.[(triple6)] The dog needs the tiger.[(triple7)] The dog visits the bear.[(triple8)] The dog visits the tiger.[(triple9)] The tiger is green.[(triple10)] The tiger needs the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The tiger is blue.[(((triple2) -> rule1))]