The lion is big. The lion is blue. The lion is kind. The lion is nice. The lion is not round. If someone is big and blue then they are nice.
The lion is not kind.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4 OR ((triple1 triple2) -> rule1))] The lion is not round.[(triple5)]