The dog chases the lion. The dog chases the tiger. The dog is blue. The dog is young. The dog needs the lion. The lion chases the tiger. The lion needs the dog. The lion needs the tiger. The lion visits the dog. The lion visits the tiger. The tiger chases the dog. The tiger is blue. The tiger is green. The tiger needs the dog. The tiger visits the dog. If someone visits the dog then they need the lion. If someone is cold and they chase the dog then they chase the tiger. If someone needs the tiger and they need the dog then the tiger needs the dog. If someone is blue and they need the dog then the dog chases the lion. If the dog chases the tiger then the dog chases the lion. All blue people are green. If the dog needs the lion and the lion chases the tiger then the lion is blue. If someone needs the dog then the dog is nice.
The tiger does not chase the tiger.
@0: The dog chases the lion.[(triple1 OR ((triple2) -> rule5) OR ((triple12 triple14) -> rule4) OR ((triple12 ((triple8 triple7) -> rule3)) -> rule4) OR ((((triple5 triple6) -> rule7) triple7) -> rule4))] The dog chases the tiger.[(triple2)] The dog is blue.[(triple3)] The dog is young.[(triple4)] The dog needs the lion.[(triple5)] The lion chases the tiger.[(triple6)] The lion needs the dog.[(triple7)] The lion needs the tiger.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the tiger.[(triple10)] The tiger chases the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13 OR ((triple12) -> rule6))] The tiger needs the dog.[(triple14 OR ((triple8 triple7) -> rule3))] The tiger visits the dog.[(triple15)] @1: The dog is green.[(((triple3) -> rule6))] The dog is nice.[(((triple14) -> rule8) OR ((triple7) -> rule8) OR ((((triple8 triple7) -> rule3)) -> rule8))] The lion is blue.[(((triple5 triple6) -> rule7))] The lion needs the lion.[(((triple9) -> rule1))] The tiger needs the lion.[(((triple15) -> rule1))] @2: The lion is green.[(((((triple5 triple6) -> rule7)) -> rule6))]