The tiger is big. The tiger is blue. The tiger is nice. The tiger is red. The tiger is rough. If something is rough and big then it is red.
The tiger chases the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is nice.[(triple3)] The tiger is red.[(triple4 OR ((triple5 triple1) -> rule1))] The tiger is rough.[(triple5)]