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 is rough.
@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)]