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 does not see the tiger.
@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)]