The lion is cold. The lion is green. The lion is nice. The lion is not red. The lion is young. If something is green then it is cold. If something is red then it is nice. Nice things are green. If something is cold and not green then it is not young. If something is cold and red then it is not young. All nice, red things are not young.
The lion does not eat the lion.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The lion is green.[(triple2 OR ((triple3) -> rule3))] The lion is nice.[(triple3)] The lion is not red.[(triple4)] The lion is young.[(triple5)]