The tiger is blue. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is young. All young people are cold. Young, rough people are cold. If the tiger is blue and the tiger is rough then the tiger is nice. If someone is blue and not rough then they are young. If someone is blue and not rough then they are not young. If the tiger is young and the tiger is not blue then the tiger is cold.
The tiger is rough.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple5 triple4) -> rule2))] The tiger is nice.[(triple3 OR ((triple1 triple4) -> rule3))] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]