The dog is not big. The dog is blue. The dog is green. The dog is kind. The dog likes the tiger. The dog sees the tiger. The dog does not visit the tiger. The tiger is big. The tiger likes the dog. The tiger does not see the dog. If the dog sees the tiger then the tiger visits the dog. If the tiger visits the dog and the dog sees the tiger then the tiger is green.
The dog does not see the dog.
@0: The dog does not visit the tiger.[(triple7)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is not big.[(triple1)] The dog likes the tiger.[(triple5)] The dog sees the tiger.[(triple6)] The tiger does not see the dog.[(triple10)] The tiger is big.[(triple8)] The tiger likes the dog.[(triple9)] @1: The tiger visits the dog.[(((triple6) -> rule1))] @2: The tiger is green.[(((((triple6) -> rule1) triple6) -> rule2))]