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