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