The tiger is kind. The tiger is nice. The tiger is not red. The tiger is rough. The tiger is young. Rough things are kind. If the tiger is young and the tiger is not red then the tiger is nice. If the tiger is kind and the tiger is red then the tiger is nice. All red things are nice. If something is young and kind then it is nice. If the tiger is red and the tiger is rough then the tiger is young.
The tiger is not young.
@0: The tiger is kind.[(triple1 OR ((triple4) -> rule1))] The tiger is nice.[(triple2 OR ((triple5 triple1) -> rule5) OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule5))] The tiger is not red.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]