The cow likes the lion. The lion likes the tiger. The rabbit likes the tiger. The tiger visits the cow. If the lion likes the tiger then the lion is red. If something is blue and rough then it does not like the rabbit. If something is blue and it visits the lion then it does not like the rabbit. If the lion is red then the lion likes the rabbit. If something likes the rabbit and it is red then it likes the lion. If something visits the lion and it needs the rabbit then the rabbit does not need the lion. If something visits the rabbit and it is cold then it does not need the tiger. If something likes the rabbit then the rabbit does not need the tiger.
The lion needs the rabbit.
@0: The cow likes the lion.[(triple1)] The lion likes the tiger.[(triple2)] The rabbit likes the tiger.[(triple3)] The tiger visits the cow.[(triple4)] @1: The lion is red.[(((triple2) -> rule1))] @2: The lion likes the rabbit.[(((((triple2) -> rule1)) -> rule4))] @3: The lion likes the lion.[(((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule5))] The rabbit does not need the tiger.[(((((((triple2) -> rule1)) -> rule4)) -> rule8))]