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