The dog is blue. The dog is green. The dog is rough. The dog is young. The dog needs the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If someone needs the dog then the dog is blue. If someone visits the dog then they see the tiger. If someone visits the tiger then the tiger visits the dog. If someone needs the dog and the dog visits the tiger then the tiger needs the dog. If the tiger needs the dog and the tiger sees the dog then the tiger is nice. If someone visits the tiger and the tiger needs the dog then the tiger visits the dog. If someone needs the dog and the dog sees the tiger then the tiger visits the dog. If the dog visits the tiger and the tiger sees the dog then the dog is nice.
The dog sees the tiger.
@0: The dog is blue.[(triple1 OR ((triple13) -> rule1))] The dog is green.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4)] The dog needs the tiger.[(triple5)] The dog sees the tiger.[(triple6)] The dog visits the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger is green.[(triple9)] The tiger is nice.[(triple10 OR ((triple13 triple14) -> rule5))] The tiger is rough.[(triple11)] The tiger is young.[(triple12)] The tiger needs the dog.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the dog.[(triple15 OR ((triple7) -> rule3) OR ((triple13 triple6) -> rule7) OR ((triple7 triple13) -> rule6))] @1: The dog is nice.[(((triple7 triple14) -> rule8))] The tiger sees the tiger.[(((triple15) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((triple13 triple6) -> rule7)) -> rule2) OR ((((triple7 triple13) -> rule6)) -> rule2))]