The tiger is big. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. If someone is big then they are red. All young people are rough. If someone is rough then they are kind. All rough people are kind. If the tiger is young then the tiger is rough. If the tiger is young then the tiger is red.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple2 OR ((triple4) -> rule3) OR ((triple4) -> rule4) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple5) -> rule5)) -> rule3) OR ((((triple5) -> rule5)) -> rule4))] The tiger is red.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule6))] The tiger is rough.[(triple4 OR ((triple5) -> rule2) OR ((triple5) -> rule5))] The tiger is young.[(triple5)]