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