The lion is red. If the lion is big and the lion is red then the lion is nice. Red people are kind. If someone is red and nice then they are cold. If someone is kind and red then they are big. Nice people are big. If the lion is kind then the lion is red. Cold people are nice. If someone is nice and red then they are big.
The lion chases the lion.
@0: The lion is red.[(triple1)] @1: The lion is kind.[(((triple1) -> rule2))] @2: The lion is big.[(((((triple1) -> rule2) triple1) -> rule4))] @3: The lion is nice.[(((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule1))] @4: The lion is cold.[(((triple1 ((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule1)) -> rule3))]