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 is not round.
@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)]