The dog is not big. The dog is not blue. The dog is not cold. The dog is green. The dog is rough. The dog needs the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is big. The tiger is blue. The tiger is cold. The tiger is not green. The tiger is rough. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If something visits the tiger then it sees the tiger. If something is cold and it needs the dog then it sees the tiger.
The dog visits the dog.
@0: The dog is green.[(triple4)] The dog is not big.[(triple1)] The dog is not blue.[(triple2)] The dog is not cold.[(triple3)] The dog is rough.[(triple5)] The dog needs the tiger.[(triple6)] The dog sees the tiger.[(triple7 OR ((triple8) -> rule1))] The dog visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is not green.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the dog.[(triple14)] The tiger sees the dog.[(triple15)] The tiger visits the dog.[(triple16)] @1: The tiger sees the tiger.[(((triple11 triple14) -> rule2))]