The tiger is nice. Big, red people are kind. If someone is nice then they are kind. All red people are big. If someone is red then they are big. All kind, nice people are red. If the tiger is nice then the tiger is round.
The tiger is kind.
@0: The tiger is nice.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule2))] The tiger is round.[(((triple1) -> rule6))] @2: The tiger is red.[(((((triple1) -> rule2) triple1) -> rule5))] @3: The tiger is big.[(((((((triple1) -> rule2) triple1) -> rule5)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule5)) -> rule4))]