The lion is blue. The lion is green. The lion is red. If something is blue then it is round.
The lion is not blue.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2)] The lion is red.[(triple3)] @1: The lion is round.[(((triple1) -> rule1))]