The cat visits the lion. The lion is nice. The mouse does not need the cat. The tiger visits the lion. If something needs the tiger then it needs the lion. If something needs the tiger then it does not eat the mouse. If something needs the tiger and the tiger is green then it is not young. If the lion visits the tiger then the tiger needs the lion. If the lion is green and the lion does not eat the tiger then the lion eats the mouse. If something needs the tiger and it is young then it is not kind. If the lion is not green then the lion needs the tiger. If something visits the lion then the lion is kind.
The lion is nice.
@0: The cat visits the lion.[(triple1)] The lion is nice.[(triple2)] The mouse does not need the cat.[(triple3)] The tiger visits the lion.[(triple4)] @1: The lion is kind.[(((triple1) -> rule8) OR ((triple4) -> rule8))]