The tiger is blue. The tiger is green. The tiger is round. If someone is blue and green then they are kind.
The tiger chases the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is kind.[(((triple1 triple2) -> rule1))]