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