The tiger is big. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is young. If someone is big then they are young. Young people are kind.
The tiger does not like the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is kind.[(triple3 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple1) -> rule1))]