The lion is blue. The lion is kind. The lion is red. The lion is young. The lion likes the tiger. The lion needs the tiger. The lion sees the tiger. The tiger is blue. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the lion. The tiger needs the lion. The tiger sees the lion. If something is blue and it needs the lion then the lion likes the tiger. If something is young then it sees the tiger. If something likes the lion and the lion sees the tiger then the lion likes the tiger. If something sees the tiger then it needs the lion. If the tiger sees the lion and the lion is red then the lion sees the tiger. If something sees the tiger then it needs the lion.
The tiger needs the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5 OR ((triple13 triple7) -> rule3) OR ((triple8 triple14) -> rule1) OR ((triple1 ((triple7) -> rule4)) -> rule1) OR ((triple1 ((triple7) -> rule6)) -> rule1) OR ((triple13 ((triple4) -> rule2)) -> rule3) OR ((triple13 ((triple15 triple3) -> rule5)) -> rule3) OR ((triple1 ((((triple4) -> rule2)) -> rule4)) -> rule1) OR ((triple1 ((((triple4) -> rule2)) -> rule6)) -> rule1) OR ((triple1 ((((triple15 triple3) -> rule5)) -> rule4)) -> rule1) OR ((triple1 ((((triple15 triple3) -> rule5)) -> rule6)) -> rule1) OR ((triple8 ((((triple12) -> rule2)) -> rule4)) -> rule1) OR ((triple8 ((((triple12) -> rule2)) -> rule6)) -> rule1))] The lion needs the tiger.[(triple6)] The lion sees the tiger.[(triple7 OR ((triple4) -> rule2) OR ((triple15 triple3) -> rule5))] The tiger is blue.[(triple8)] The tiger is kind.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger is young.[(triple12)] The tiger likes the lion.[(triple13)] The tiger needs the lion.[(triple14 OR ((((triple12) -> rule2)) -> rule4) OR ((((triple12) -> rule2)) -> rule6))] The tiger sees the lion.[(triple15)] @1: The lion needs the lion.[(((triple7) -> rule4) OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple15 triple3) -> rule5)) -> rule4) OR ((((triple15 triple3) -> rule5)) -> rule6))] The tiger sees the tiger.[(((triple12) -> rule2))]