The lion is cold. If the lion is rough then the lion is young. If someone is young and nice then they are cold. If someone is cold then they are nice. If the lion is kind and the lion is young then the lion is rough. All young people are nice. If the lion is kind and the lion is young then the lion is cold. Rough people are nice. If the lion is young and the lion is nice then the lion is kind.
The lion is young.
@0: The lion is cold.[(triple1)] @1: The lion is nice.[(((triple1) -> rule3))]