The dog chases the lion. The dog is blue. The dog is cold. The dog is green. The dog is red. The dog is young. The dog likes the lion. The dog sees the lion. The lion chases the dog. The lion is blue. The lion is cold. The lion is green. The lion is red. The lion is young. The lion likes the dog. The lion sees the dog. If something is blue and it chases the lion then the lion chases the dog. If something likes the dog and it chases the dog then it is green. If something sees the lion then it chases the lion. If something is green then it sees the lion. If the dog is green then the dog chases the lion. If something sees the lion then the lion chases the dog.
The dog does not see the dog.
@0: The dog chases the lion.[(triple1 OR ((triple4) -> rule5) OR ((triple8) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the lion.[(triple7)] The dog sees the lion.[(triple8 OR ((triple4) -> rule4))] The lion chases the dog.[(triple9 OR ((triple8) -> rule6) OR ((triple2 triple1) -> rule1) OR ((((triple12) -> rule4)) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((triple2 ((triple4) -> rule5)) -> rule1) OR ((triple2 ((triple8) -> rule3)) -> rule1) OR ((triple10 ((((triple12) -> rule4)) -> rule3)) -> rule1) OR ((triple2 ((((triple4) -> rule4)) -> rule3)) -> rule1))] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is green.[(triple12 OR ((triple15 triple9) -> rule2) OR ((triple15 ((triple8) -> rule6)) -> rule2) OR ((triple15 ((triple2 triple1) -> rule1)) -> rule2) OR ((triple15 ((((triple4) -> rule4)) -> rule6)) -> rule2) OR ((triple15 ((triple2 ((triple4) -> rule5)) -> rule1)) -> rule2) OR ((triple15 ((triple2 ((triple8) -> rule3)) -> rule1)) -> rule2) OR ((triple15 ((triple2 ((((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule2))] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion likes the dog.[(triple15)] The lion sees the dog.[(triple16)] @1: The lion sees the lion.[(((triple12) -> rule4) OR ((((triple15 triple9) -> rule2)) -> rule4) OR ((((triple15 ((triple8) -> rule6)) -> rule2)) -> rule4) OR ((((triple15 ((triple2 triple1) -> rule1)) -> rule2)) -> rule4) OR ((((triple15 ((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule4) OR ((((triple15 ((triple2 ((triple4) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((triple15 ((triple2 ((triple8) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((triple15 ((triple2 ((((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4))] @2: The lion chases the lion.[(((((triple12) -> rule4)) -> rule3) OR ((((((triple15 triple9) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((triple8) -> rule6)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((triple2 triple1) -> rule1)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((triple2 ((triple4) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((triple2 ((triple8) -> rule3)) -> rule1)) -> rule2)) -> rule4)) -> rule3) OR ((((((triple15 ((triple2 ((((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4)) -> rule3))]