The tiger is big. The tiger is not cold. The tiger is nice. The tiger is red. The tiger is round. All big people are nice.
The tiger eats the tiger.
@0: The tiger is big.[(triple1)] The tiger is nice.[(triple3 OR ((triple1) -> rule1))] The tiger is not cold.[(triple2)] The tiger is red.[(triple4)] The tiger is round.[(triple5)]