The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. If something is round then it is nice.
The tiger does not need the tiger.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3 OR ((triple4) -> rule1))] The tiger is round.[(triple4)] The tiger is young.[(triple5)]