The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. Green things are rough. All round things are rough.
The tiger does not need the tiger.
@0: The tiger is green.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The tiger is round.[(triple5)]