The tiger is big. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. If the tiger is green and the tiger is blue then the tiger is kind.
The tiger needs the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is green.[(triple4)] The tiger is kind.[(triple5 OR ((triple4 triple2) -> rule1))]