The lion is blue. The lion is green. The lion is kind. The lion is nice. The lion is red. Red, kind things are green. All red things are kind.
The lion is not blue.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] The lion is kind.[(triple3 OR ((triple5) -> rule2))] The lion is nice.[(triple4)] The lion is red.[(triple5)]