The tiger is big. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. If the tiger is big and the tiger is green then the tiger is young. All nice, rough people are young.
The tiger does not see the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple3 triple4) -> rule2))]