The tiger is big. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. If someone is red and rough then they are green.
The tiger is rough.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2 OR ((triple4 triple5) -> rule1))] The tiger is nice.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]