The tiger is big. The tiger is blue. The tiger is kind. The tiger is red. The tiger is not young. If something is kind then it is red. If something is young and not red then it is blue. Big things are not young. If something is big then it is not young. All blue things are big. If something is red and not kind then it is big.
The tiger is kind.
@0: The tiger is big.[(triple1 OR ((triple2) -> rule5))] The tiger is blue.[(triple2)] The tiger is kind.[(triple3)] The tiger is not young.[(triple5 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule4))] The tiger is red.[(triple4 OR ((triple3) -> rule1))]