The tiger is blue. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is young. If someone is blue and not young then they are rough. All kind people are blue.
The tiger does not need the tiger.
@0: The tiger is blue.[(triple1 OR ((triple3) -> rule2))] The tiger is cold.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]