The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. If the tiger is rough and the tiger is kind then the tiger is red. Kind people are young. Cold, rough people are red.
The tiger is not young.
@0: The tiger is cold.[(triple1)] The tiger is kind.[(triple2)] The tiger is red.[(triple3 OR ((triple1 triple4) -> rule3) OR ((triple4 triple2) -> rule1))] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple2) -> rule2))]