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