The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is green. The lion is rough. The lion is young. The lion likes the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is green. The tiger is kind. The tiger is rough. The tiger is young. The tiger likes the lion. If someone chases the tiger and the tiger likes the lion then the tiger is kind. Young people are kind. If someone is rough then they chase the tiger. If someone is kind then they chase the lion. If someone is kind and they chase the lion then they eat the lion. If someone chases the tiger then they like the tiger. If the tiger chases the lion then the lion likes the tiger. If someone eats the tiger then they like the lion.
The lion does not eat the lion.
@0: The lion chases the tiger.[(triple1 OR ((triple5) -> rule3))] The lion eats the tiger.[(triple2)] The lion is big.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple1) -> rule6) OR ((triple8) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple14) -> rule2)) -> rule4)) -> rule7) OR ((((((triple1 triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7))] The tiger chases the lion.[(triple8 OR ((triple12) -> rule4) OR ((((triple14) -> rule2)) -> rule4) OR ((((triple1 triple15) -> rule1)) -> rule4) OR ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4))] The tiger eats the lion.[(triple9 OR ((triple12 triple8) -> rule5) OR ((triple12 ((triple12) -> rule4)) -> rule5) OR ((((triple14) -> rule2) triple8) -> rule5) OR ((((triple1 triple15) -> rule1) triple8) -> rule5) OR ((((triple14) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((triple12 ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((triple12 ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) triple8) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) triple8) -> rule5) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5))] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12 OR ((triple14) -> rule2) OR ((triple1 triple15) -> rule1) OR ((((triple13) -> rule3) triple15) -> rule1) OR ((((triple5) -> rule3) triple15) -> rule1))] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger likes the lion.[(triple15)] @1: The lion is kind.[(((triple6) -> rule2))] The lion likes the lion.[(((triple2) -> rule8))] The tiger chases the tiger.[(((triple13) -> rule3))] @2: The lion chases the lion.[(((((triple6) -> rule2)) -> rule4))] The tiger likes the tiger.[(((((triple13) -> rule3)) -> rule6))] @3: The lion eats the lion.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule5))]