The lion is big. The lion is blue. The lion is cold. The lion is kind. The lion is young. If someone is young then they are cold. If someone is young then they are kind.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3 OR ((triple5) -> rule1))] The lion is kind.[(triple4 OR ((triple5) -> rule2))] The lion is young.[(triple5)]