The dog chases the tiger. The dog is blue. The dog is round. The dog likes the lion. The dog likes the tiger. The dog needs the tiger. The lion chases the dog. The lion chases the tiger. The lion is round. The lion likes the tiger. The lion needs the tiger. The tiger chases the dog. The tiger chases the lion. The tiger is cold. The tiger likes the lion. The tiger needs the dog. If something chases the tiger and it is blue then the tiger likes the dog. If something likes the dog then it likes the lion. If something likes the tiger then it is blue. If something needs the tiger and it is red then the tiger likes the dog. If the dog is red and the dog likes the lion then the lion is cold. If something is cold and round then it needs the dog. If something needs the lion then the lion is cold. If the lion likes the tiger then the tiger needs the lion.
The lion needs the dog.
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2 OR ((triple5) -> rule3))] The dog is round.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the tiger.[(triple8)] The lion is round.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the lion.[(triple15 OR ((((triple1 triple2) -> rule1)) -> rule2) OR ((((triple1 ((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((triple8 ((triple10) -> rule3)) -> rule1)) -> rule2))] The tiger needs the dog.[(triple16)] @1: The lion is blue.[(((triple10) -> rule3))] The tiger likes the dog.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple5) -> rule3)) -> rule1) OR ((triple8 ((triple10) -> rule3)) -> rule1))] The tiger needs the lion.[(((triple10) -> rule8))] @2: The lion is cold.[(((((triple10) -> rule8)) -> rule7))] @3: The lion needs the dog.[(((((((triple10) -> rule8)) -> rule7) triple9) -> rule6))]