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