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