The tiger is big. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. All green people are kind.
The tiger is nice.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3 OR ((triple2) -> rule1))] The tiger is nice.[(triple4)] The tiger is red.[(triple5)]