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