The tiger is big. The tiger is cold. The tiger is not kind. The tiger is round. The tiger is young. Round, big things are cold.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple4 triple1) -> rule1))] The tiger is not kind.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]