The dog chases the tiger. The dog eats the tiger. The dog is green. The dog is red. The dog likes the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is blue. The tiger is nice. The tiger is red. If something likes the dog and it is red then the dog eats the tiger. If something chases the dog then it chases the tiger. If something likes the tiger then the tiger chases the dog. If something likes the dog and it does not like the tiger then it is not nice. If something likes the tiger and it likes the dog then the dog chases the tiger. If something chases the tiger then the tiger is green. If something likes the dog and it is not big then it is green. If something eats the dog and it chases the dog then it likes the dog.
The dog chases the tiger.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2 OR ((((triple7 triple6) -> rule8) triple10) -> rule1) OR ((((triple7 ((triple5) -> rule3)) -> rule8) triple10) -> rule1))] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog likes the tiger.[(triple5)] The tiger chases the dog.[(triple6 OR ((triple5) -> rule3))] The tiger eats the dog.[(triple7)] The tiger is blue.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] @1: The tiger chases the tiger.[(((triple6) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] The tiger is green.[(((triple1) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule2)) -> rule6))] The tiger likes the dog.[(((triple7 triple6) -> rule8) OR ((triple7 ((triple5) -> rule3)) -> rule8))]