The tiger is big. The tiger is blue. The tiger is kind. The tiger is round. The tiger is young. Round people are young. All big people are young.
The tiger does not eat the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is kind.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5 OR ((triple1) -> rule2) OR ((triple4) -> rule1))]