The cat needs the tiger. The cow needs the cat. The lion is blue. The tiger likes the cow. If something likes the cow then it is blue. If the cow chases the cat then the cow likes the cat. If something needs the cat then it likes the tiger. If something is kind and it needs the lion then the lion is kind. If something is blue and it chases the lion then it likes the cow. If the cow chases the tiger then the tiger is green.
The cat does not like the tiger.
@0: The cat needs the tiger.[(triple1)] The cow needs the cat.[(triple2)] The lion is blue.[(triple3)] The tiger likes the cow.[(triple4)] @1: The cow likes the tiger.[(((triple2) -> rule3))] The tiger is blue.[(((triple4) -> rule1))]