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 is not kind.
@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)]