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