The lion is not big. The lion is kind. The lion is not red. All young, kind people are not cold. If someone is big then they are not cold. If someone is young and cold then they are red. If someone is big and red then they are not young. All big people are not young. If the lion is kind then the lion is not cold.
The lion is big.
@0: The lion is kind.[(triple2)] The lion is not big.[(triple1)] The lion is not red.[(triple3)] @1: The lion is not cold.[(((triple2) -> rule6))]