The lion is blue. The lion is cold. The lion is not kind. The lion is red. The lion is not rough. All blue things are cold.
The lion is not kind.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule1))] The lion is not kind.[(triple3)] The lion is not rough.[(triple5)] The lion is red.[(triple4)]