The tiger is big. The tiger is blue. The tiger is not cold. The tiger is nice. The tiger is not rough. If the tiger is rough then the tiger is nice. If something is cold and not rough then it is not big. If something is big and not nice then it is not blue. If something is blue and not nice then it is cold. Big, nice things are not cold. Rough things are not cold.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is nice.[(triple4)] The tiger is not cold.[(triple3 OR ((triple1 triple4) -> rule5))] The tiger is not rough.[(triple5)]