The lion is cold. The lion is not green. The lion is not nice. All nice, green things are not blue. Green, nice things are blue. All nice things are blue. All blue things are cold. Green, blue things are cold. If something is blue then it is nice. Green, blue things are not nice. If the lion is cold then the lion is not green.
The lion sees the lion.
@0: The lion is cold.[(triple1)] The lion is not green.[(triple2 OR ((triple1) -> rule8))] The lion is not nice.[(triple3)]