The tiger is cold. The tiger is green. The tiger is not red. The tiger is rough. The tiger is young. Red, cold things are not young. If something is red and not rough then it is not green. If the tiger is green then the tiger is cold.
The tiger likes the tiger.
@0: The tiger is cold.[(triple1 OR ((triple2) -> rule3))] The tiger is green.[(triple2)] The tiger is not red.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]