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