The tiger is big. The tiger is kind. The tiger is not nice. The tiger is rough. The tiger is round. All kind things are rough.
The tiger is kind.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple2)] The tiger is not nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple2) -> rule1))] The tiger is round.[(triple5)]