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 is not red.
@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)]