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 not big.
@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)]