The lion is nice. If something is kind and blue then it is cold. Kind, cold things are round. All round, cold things are nice. Round, cold things are kind. All round things are blue. All cold, kind things are round. If something is kind then it is cold. If the lion is nice then the lion is kind.
The lion is not cold.
@0: The lion is nice.[(triple1)] @1: The lion is kind.[(((triple1) -> rule8))] @2: The lion is cold.[(((((triple1) -> rule8)) -> rule7))] @3: The lion is round.[(((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule7)) -> rule2) OR ((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule6))] @4: The lion is blue.[(((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule6)) -> rule5))]