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