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