The tiger is big. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. If someone is young then they are red. Kind, young people are red.
The tiger chases the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple2)] The tiger is red.[(triple3 OR ((triple5) -> rule1) OR ((triple2 triple5) -> rule2))] The tiger is round.[(triple4)] The tiger is young.[(triple5)]