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