The lion likes the tiger. The mouse is round. The tiger sees the lion. If something likes the lion then it does not see the tiger. If something needs the lion then the lion is cold. If something sees the lion then it needs the tiger. If something needs the lion then the lion needs the tiger. If something needs the tiger and it sees the tiger then it is not round. If something likes the tiger and the tiger does not like the mouse then it is red.
The mouse does not need the tiger.
@0: The lion likes the tiger.[(triple1)] The mouse is round.[(triple2)] The tiger sees the lion.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule3))]