The lion is blue. If someone is green then they are blue. If someone is blue then they are kind. Big people are kind. Kind, big people are green. If someone is rough then they are big. All kind people are big.
The lion is blue.
@0: The lion is blue.[(triple1)] @1: The lion is kind.[(((triple1) -> rule2))] @2: The lion is big.[(((((triple1) -> rule2)) -> rule6))] @3: The lion is green.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule4))]