The lion likes the rabbit. The mouse likes the tiger. The rabbit is green. The tiger eats the lion. If something is green and rough then it sees the lion. If something sees the tiger then it is big. If the mouse likes the lion and the lion sees the rabbit then the mouse is green. If something eats the lion and the lion sees the tiger then it is blue. If something is cold and it likes the lion then the lion eats the mouse. If something sees the tiger and it eats the mouse then the tiger eats the lion. If the rabbit eats the mouse then the rabbit is green. If something likes the tiger then it eats the rabbit.
The lion sees the rabbit.
@0: The lion likes the rabbit.[(triple1)] The mouse likes the tiger.[(triple2)] The rabbit is green.[(triple3)] The tiger eats the lion.[(triple4)] @1: The mouse eats the rabbit.[(((triple2) -> rule8))]