The lion is not green. The lion is rough. The lion likes the tiger. The lion needs the tiger. The lion sees the rabbit. The rabbit is kind. The rabbit is round. The rabbit does not like the tiger. The rabbit needs the tiger. The rabbit does not see the tiger. The tiger is round. The tiger likes the lion. If something likes the tiger and it is not green then the tiger needs the rabbit. If something likes the tiger and it does not see the tiger then it needs the rabbit. If something sees the lion then it does not like the tiger.
The tiger needs the rabbit.
@0: The lion is not green.[(triple1)] The lion is rough.[(triple2)] The lion likes the tiger.[(triple3)] The lion needs the tiger.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit does not like the tiger.[(triple8)] The rabbit does not see the tiger.[(triple10)] The rabbit is kind.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the tiger.[(triple9)] The tiger is round.[(triple11)] The tiger likes the lion.[(triple12)] @1: The tiger needs the rabbit.[(((triple3 triple1) -> rule1))]