The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is young. If the tiger is big then the tiger is nice.
The tiger does not see the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is nice.[(triple4 OR ((triple1) -> rule1))] The tiger is young.[(triple5)]