The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is rough. If something is kind and nice then it is cold.
The lion is not kind.
@0: The lion is cold.[(triple1 OR ((triple2 triple3) -> rule1))] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)]