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