The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. All round people are young. If someone is kind then they are round.
The tiger needs the tiger.
@0: The tiger is kind.[(triple1)] The tiger is nice.[(triple2)] The tiger is rough.[(triple3)] The tiger is round.[(triple4 OR ((triple1) -> rule2))] The tiger is young.[(triple5 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]