The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger is round. All cold things are round.
The tiger does not see the tiger.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple1) -> rule1))]