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