The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. Nice people are rough. Green, rough people are young.
The tiger sees the tiger.
@0: The tiger is green.[(triple1)] The tiger is nice.[(triple2)] The tiger is rough.[(triple3 OR ((triple2) -> rule1))] The tiger is round.[(triple4)] The tiger is young.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple2) -> rule1)) -> rule2))]