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 eats 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))]