The tiger is big. The tiger is red. The tiger is rough. All blue people are nice. All blue people are nice. All rough people are red.
The tiger is rough.
@0: The tiger is big.[(triple1)] The tiger is red.[(triple2 OR ((triple3) -> rule3))] The tiger is rough.[(triple3)]