The dog chases the tiger. The dog is cold. The dog is round. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is cold. The tiger is round. The tiger is young. The tiger needs the dog. If something eats the dog and the dog eats the tiger then the dog needs the tiger. If something eats the dog and the dog is blue then it is round. If the dog chases the tiger and the tiger eats the dog then the dog needs the tiger. If something eats the tiger then it eats the dog. If something needs the tiger then it chases the tiger. If something chases the tiger then the tiger chases the dog. If the tiger is round then the tiger eats the dog. If something eats the dog then the dog chases the tiger.
The dog does not chase the tiger.
@0: The dog chases the tiger.[(triple1 OR ((triple4) -> rule5) OR ((triple6) -> rule8) OR ((((triple8) -> rule7)) -> rule8))] The dog is cold.[(triple2)] The dog is round.[(triple3)] The dog needs the tiger.[(triple4 OR ((triple1 triple6) -> rule3) OR ((triple1 ((triple8) -> rule7)) -> rule3) OR ((((triple6) -> rule8) triple6) -> rule3) OR ((((triple6) -> rule8) ((triple8) -> rule7)) -> rule3) OR ((((((triple8) -> rule7)) -> rule8) triple6) -> rule3) OR ((((((triple8) -> rule7)) -> rule8) ((triple8) -> rule7)) -> rule3))] The tiger chases the dog.[(triple5 OR ((triple1) -> rule6) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple6) -> rule8)) -> rule6) OR ((((((triple8) -> rule7)) -> rule8)) -> rule6))] The tiger eats the dog.[(triple6 OR ((triple8) -> rule7))] The tiger is cold.[(triple7)] The tiger is round.[(triple8)] The tiger is young.[(triple9)] The tiger needs the dog.[(triple10)]