The tiger is big. The tiger is green. The tiger is red. The tiger is not rough. The tiger is round. If the tiger is big then the tiger is round.
The tiger does not like the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is not rough.[(triple4)] The tiger is red.[(triple3)] The tiger is round.[(triple5 OR ((triple1) -> rule1))]