The lion is nice. If the lion is blue then the lion is nice. Cold people are round. All blue, rough people are round. If someone is nice then they are rough. If someone is nice and cold then they are rough. If someone is cold and not nice then they are not rough. If the lion is rough then the lion is cold. If the lion is rough then the lion is cold.
The lion does not like the lion.
@0: The lion is nice.[(triple1)] @1: The lion is rough.[(((triple1) -> rule4))] @2: The lion is cold.[(((((triple1) -> rule4)) -> rule7) OR ((((triple1) -> rule4)) -> rule8))] @3: The lion is round.[(((((((triple1) -> rule4)) -> rule7)) -> rule2) OR ((((((triple1) -> rule4)) -> rule8)) -> rule2))]