The lion is big. The lion is blue. The lion is kind. The lion is red. The lion is round. If the lion is big then the lion is round. All blue people are big.
The lion is red.
@0: The lion is big.[(triple1 OR ((triple2) -> rule2))] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]