The lion is big. The lion is blue. The lion is red. The lion is not rough. The lion is not round. Blue people are big. All round, big people are not rough.
The lion is not red.
@0: The lion is big.[(triple1 OR ((triple2) -> rule1))] The lion is blue.[(triple2)] The lion is not rough.[(triple4)] The lion is not round.[(triple5)] The lion is red.[(triple3)]