The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. If the tiger is kind then the tiger is blue. Nice things are green.
The tiger does not like the tiger.
@0: The tiger is blue.[(triple1 OR ((triple3) -> rule1))] The tiger is green.[(triple2 OR ((triple4) -> rule2))] The tiger is kind.[(triple3)] The tiger is nice.[(triple4)] The tiger is rough.[(triple5)]