The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. Nice, round people are blue.
The tiger does not like the tiger.
@0: The tiger is blue.[(triple1 OR ((triple3 triple4) -> rule1))] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]