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