The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is not rough. If the tiger is cold and the tiger is big then the tiger is kind. If someone is cold and big then they are kind.
The tiger is not rough.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is kind.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 triple1) -> rule2))] The tiger is nice.[(triple4)] The tiger is not rough.[(triple5)]