The lion is not big. The lion is not kind. The lion is nice. Big, green people are cold. If someone is nice then they are cold. If someone is big then they are green.
The lion visits the lion.
@0: The lion is nice.[(triple3)] The lion is not big.[(triple1)] The lion is not kind.[(triple2)] @1: The lion is cold.[(((triple3) -> rule2))]