The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion is round. Green, kind things are round. Round things are kind. If the lion is nice then the lion is cold.
The lion is not green.
@0: The lion is cold.[(triple1 OR ((triple4) -> rule3))] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple5) -> rule2))] The lion is nice.[(triple4)] The lion is round.[(triple5 OR ((triple2 triple3) -> rule1))]