The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. Rough, red people are big.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1 OR ((triple5 triple4) -> rule1))] The tiger is cold.[(triple2)] The tiger is kind.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]