The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is young. If someone is red and green then they are young.
The tiger is not cold.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is red.[(triple4)] The tiger is young.[(triple5 OR ((triple4 triple3) -> rule1))]