The tiger is cold. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. Cold people are round.
The tiger does not visit the tiger.
@0: The tiger is cold.[(triple1)] The tiger is kind.[(triple2)] The tiger is red.[(triple3)] The tiger is round.[(triple4 OR ((triple1) -> rule1))] The tiger is young.[(triple5)]