The tiger is not big. The tiger is blue. The tiger is cold. The tiger is rough. The tiger is not young. Big, cold people are blue. Rough, big people are not blue. Cold, rough people are blue. If the tiger is young and the tiger is big then the tiger is not blue. All blue people are not young. If someone is rough then they are cold. All young people are cold. Young, blue people are rough.
The tiger does not chase the tiger.
@0: The tiger is blue.[(triple2 OR ((triple3 triple4) -> rule3) OR ((((triple4) -> rule6) triple4) -> rule3))] The tiger is cold.[(triple3 OR ((triple4) -> rule6))] The tiger is not big.[(triple1)] The tiger is not young.[(triple5 OR ((triple2) -> rule5) OR ((((triple3 triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule6) triple4) -> rule3)) -> rule5))] The tiger is rough.[(triple4)]