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