The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. All nice people are green. Red, cold people are rough.
The tiger is cold.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2 OR ((triple3) -> rule1))] The tiger is nice.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5 OR ((triple4 triple1) -> rule2))]