The cow needs the lion. The dog is blue. The lion likes the tiger. The tiger sees the lion. If something sees the tiger and the tiger is cold then it likes the tiger. If something sees the lion then it needs the lion. If something sees the dog and it is green then the dog likes the tiger.
The dog is not blue.
@0: The cow needs the lion.[(triple1)] The dog is blue.[(triple2)] The lion likes the tiger.[(triple3)] The tiger sees the lion.[(triple4)] @1: The tiger needs the lion.[(((triple4) -> rule2))]