The tiger is big. The tiger is cold. The tiger is green. The tiger is nice. The tiger is round. All big people are nice.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is nice.[(triple4 OR ((triple1) -> rule1))] The tiger is round.[(triple5)]