The tiger is blue. The tiger is cold. The tiger is not red. The tiger is rough. The tiger is young. If the tiger is red and the tiger is blue then the tiger is cold. If the tiger is red and the tiger is young then the tiger is not cold. If someone is young and not red then they are rough. Red, cold people are rough. Young people are rough. If someone is red and cold then they are not young. If someone is blue then they are cold. Red people are not blue.
The tiger is young.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2 OR ((triple1) -> rule7))] The tiger is not red.[(triple3)] The tiger is rough.[(triple4 OR ((triple5) -> rule5) OR ((triple5 triple3) -> rule3))] The tiger is young.[(triple5)]