The bear chases the rabbit. The lion chases the bear. The rabbit sees the lion. The tiger is nice. If something chases the rabbit then it is blue. If something chases the bear and the bear is big then it eats the rabbit. If the tiger is blue and the tiger is red then the tiger chases the bear.
The rabbit is not blue.
@0: The bear chases the rabbit.[(triple1)] The lion chases the bear.[(triple2)] The rabbit sees the lion.[(triple3)] The tiger is nice.[(triple4)] @1: The bear is blue.[(((triple1) -> rule1))]