The dog eats the lion. The lion is blue. The mouse eats the lion. The tiger is blue. If something chases the tiger then it is young. If the mouse eats the lion then the lion is green.
The lion is not blue.
@0: The dog eats the lion.[(triple1)] The lion is blue.[(triple2)] The mouse eats the lion.[(triple3)] The tiger is blue.[(triple4)] @1: The lion is green.[(((triple3) -> rule2))]