The tiger is blue. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. Round things are nice.
The tiger does not eat the tiger.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3 OR ((triple5) -> rule1))] The tiger is red.[(triple4)] The tiger is round.[(triple5)]