The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. If something is nice and young then it is rough.
The tiger is young.
@0: The tiger is cold.[(triple1)] The tiger is nice.[(triple2)] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple2 triple5) -> rule1))] The tiger is young.[(triple5)]