The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. All blue people are rough. If someone is rough then they are young.
The tiger is green.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple1) -> rule1))] The tiger is young.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]