The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is blue. The dog is green. The dog is red. The dog is round. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is not blue. The tiger is green. The tiger is red. The tiger is round. The tiger needs the dog. If something chases the tiger then the tiger is round. If the dog is red then the dog chases the tiger. If something chases the tiger and it does not eat the dog then it needs the dog.
The dog does not need the dog.
@0: The dog chases the tiger.[(triple1 OR ((triple6) -> rule2))] The dog eats the tiger.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is green.[(triple5)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog needs the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is green.[(triple12)] The tiger is not blue.[(triple11)] The tiger is red.[(triple13)] The tiger is round.[(triple14 OR ((triple1) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] The tiger needs the dog.[(triple15)]