The tiger is big. The tiger is cold. The tiger is not nice. The tiger is round. The tiger is young. If someone is big and round then they are young.
The tiger does not eat the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is not nice.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5 OR ((triple1 triple4) -> rule1))]