The tiger is cold. The tiger is green. The tiger is not kind. The tiger is round. The tiger is not young. If the tiger is young and the tiger is kind then the tiger is round. All green things are round.
The tiger is kind.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is not kind.[(triple3)] The tiger is not young.[(triple5)] The tiger is round.[(triple4 OR ((triple2) -> rule2))]