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