The tiger is not big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is red. If something is cold then it is not big. If something is blue and red then it is kind.
The tiger is not cold.
@0: The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is kind.[(triple4 OR ((triple2 triple5) -> rule2))] The tiger is not big.[(triple1 OR ((triple3) -> rule1))] The tiger is red.[(triple5)]