The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. Rough people are green.
The tiger does not see the tiger.
@0: The tiger is green.[(triple1 OR ((triple4) -> rule1))] The tiger is kind.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5)]