The tiger is big. The tiger is blue. The tiger is kind. The tiger is round. The tiger is young. If something is kind then it is big. If something is kind and blue then it is young.
The tiger is not kind.
@0: The tiger is big.[(triple1 OR ((triple3) -> rule1))] The tiger is blue.[(triple2)] The tiger is kind.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5 OR ((triple3 triple2) -> rule2))]