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 is big.
@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)]