The lion is big. The lion is blue. The lion is round. Blue people are round. Blue, round people are big.
The lion is kind.
@0: The lion is big.[(triple1 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2))] The lion is blue.[(triple2)] The lion is round.[(triple3 OR ((triple2) -> rule1))]