The tiger is kind. All kind, red people are round. If someone is cold then they are red. If the tiger is red and the tiger is nice then the tiger is cold. Nice, round people are cold. If someone is kind then they are nice. If the tiger is round then the tiger is kind.
The tiger is kind.
@0: The tiger is kind.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule5))]