The tiger is blue. The tiger is kind. The tiger is not red. The tiger is rough. The tiger is young. Red, kind things are not young. If the tiger is not red then the tiger is blue.
The tiger does not see the tiger.
@0: The tiger is blue.[(triple1 OR ((triple3) -> rule2))] The tiger is kind.[(triple2)] The tiger is not red.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]