The tiger is not big. The tiger is not cold. The tiger is kind. The tiger is red. The tiger is young. If something is young and not big then it is red. If something is cold then it is kind.
The tiger does not chase the tiger.
@0: The tiger is kind.[(triple3)] The tiger is not big.[(triple1)] The tiger is not cold.[(triple2)] The tiger is red.[(triple4 OR ((triple5 triple1) -> rule1))] The tiger is young.[(triple5)]