The lion is round. Cold things are big. If something is big then it is red. If the lion is big and the lion is kind then the lion is red. All round things are cold. If the lion is cold then the lion is round. Red things are kind.
The lion needs the lion.
@0: The lion is round.[(triple1)] @1: The lion is cold.[(((triple1) -> rule4))] @2: The lion is big.[(((((triple1) -> rule4)) -> rule1))] @3: The lion is red.[(((((((triple1) -> rule4)) -> rule1)) -> rule2))] @4: The lion is kind.[(((((((((triple1) -> rule4)) -> rule1)) -> rule2)) -> rule6))]