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