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