The dog chases the tiger. The dog is big. The dog is kind. The dog is nice. The dog is red. The dog likes the tiger. The dog visits the tiger. The tiger chases the dog. The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the dog. The tiger visits the dog. If someone chases the dog and the dog chases the tiger then they are nice. If the dog chases the tiger and the dog likes the tiger then the dog visits the tiger. If someone chases the dog then they like the tiger. If the tiger visits the dog and the tiger chases the dog then the dog is big. If someone is red and they visit the dog then they chase the tiger. If the dog is kind and the dog chases the tiger then the tiger is kind.
The tiger visits the dog.
@0: The dog chases the tiger.[(triple1)] The dog is big.[(triple2 OR ((triple15 triple8) -> rule4))] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog likes the tiger.[(triple6)] The dog visits the tiger.[(triple7 OR ((triple1 triple6) -> rule2))] The tiger chases the dog.[(triple8)] The tiger is big.[(triple9)] The tiger is kind.[(triple10 OR ((triple3 triple1) -> rule6))] The tiger is nice.[(triple11 OR ((triple8 triple1) -> rule1))] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The tiger chases the tiger.[(((triple12 triple15) -> rule5))] The tiger likes the tiger.[(((triple8) -> rule3))]