The tiger is blue. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. All young, red things are blue.
The tiger does not need the tiger.
@0: The tiger is blue.[(triple1 OR ((triple5 triple3) -> rule1))] The tiger is kind.[(triple2)] The tiger is red.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]