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