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