The lion likes the tiger. The rabbit needs the tiger. The squirrel needs the rabbit. The tiger is nice. If something likes the tiger then it is blue. Nice, blue things are kind. If something sees the lion and the lion needs the squirrel then it likes the tiger. If something likes the lion and it needs the tiger then the tiger is green. If something is green then it needs the tiger. If something is blue and kind then it likes the rabbit. If the lion is blue then the lion is green. If something is blue and young then it sees the rabbit.
The lion does not need the tiger.
@0: The lion likes the tiger.[(triple1)] The rabbit needs the tiger.[(triple2)] The squirrel needs the rabbit.[(triple3)] The tiger is nice.[(triple4)] @1: The lion is blue.[(((triple1) -> rule1))] @2: The lion is green.[(((((triple1) -> rule1)) -> rule7))] @3: The lion needs the tiger.[(((((((triple1) -> rule1)) -> rule7)) -> rule5))]