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