The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is young. If something is big and not red then it is cold. Kind, red things are cold. If something is cold and not red then it is not young.
The tiger is big.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple3 triple4) -> rule2))] The tiger is kind.[(triple3)] The tiger is red.[(triple4)] The tiger is young.[(triple5)]