The lion is not cold. The lion is green. The lion is not kind. The lion is nice. The lion is round. If someone is green then they are round. If someone is nice and not round then they are cold. All round people are nice. Cold people are nice. If the lion is cold then the lion is nice. If the lion is not green and the lion is not cold then the lion is kind.
The lion visits the lion.
@0: The lion is green.[(triple2)] The lion is nice.[(triple4 OR ((triple5) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] The lion is not cold.[(triple1)] The lion is not kind.[(triple3)] The lion is round.[(triple5 OR ((triple2) -> rule1))]