The lion is cold. The lion is kind. The lion is round. If someone is nice and kind then they are round. If the lion is round then the lion is kind. All kind people are not big.
The lion is round.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2 OR ((triple3) -> rule2))] The lion is round.[(triple3)] @1: The lion is not big.[(((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]