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