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