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 chases 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)]