The dog eats the tiger. The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog is round. The dog likes the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger likes the dog. The tiger visits the dog. If something eats the tiger and the tiger is blue then it visits the tiger. If the dog eats the tiger and the tiger is round then the tiger eats the dog. If something likes the tiger and the tiger is blue then it eats the tiger. If something visits the dog and the dog eats the tiger then it likes the tiger. If something is kind then it visits the dog. If something eats the dog then the dog is nice.
The tiger visits the tiger.
@0: The dog eats the tiger.[(triple1 OR ((triple7 triple10) -> rule3))] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5 OR ((triple9) -> rule6) OR ((((triple1 triple13) -> rule2)) -> rule6) OR ((((((triple7 triple10) -> rule3) triple13) -> rule2)) -> rule6))] The dog is round.[(triple6)] The dog likes the tiger.[(triple7 OR ((((triple4) -> rule5) triple1) -> rule4))] The dog visits the tiger.[(triple8 OR ((triple1 triple10) -> rule1) OR ((((triple7 triple10) -> rule3) triple10) -> rule1))] The tiger eats the dog.[(triple9 OR ((triple1 triple13) -> rule2) OR ((((triple7 triple10) -> rule3) triple13) -> rule2))] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is round.[(triple13)] The tiger likes the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog visits the dog.[(((triple4) -> rule5))] The tiger likes the tiger.[(((triple15 triple1) -> rule4) OR ((triple15 ((triple7 triple10) -> rule3)) -> rule4))] @2: The tiger eats the tiger.[(((((triple15 triple1) -> rule4) triple10) -> rule3) OR ((((triple15 ((triple7 triple10) -> rule3)) -> rule4) triple10) -> rule3))] @3: The tiger visits the tiger.[(((((((triple15 triple1) -> rule4) triple10) -> rule3) triple10) -> rule1) OR ((((((triple15 ((triple7 triple10) -> rule3)) -> rule4) triple10) -> rule3) triple10) -> rule1))]