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