The lion is young. All blue people are green. Kind people are not green. If someone is young and blue then they are green. Young people are rough. All kind people are rough. If someone is kind and blue then they are rough. If someone is kind and blue then they are not rough. If someone is rough and not blue then they are kind.
The lion is not kind.
@0: The lion is young.[(triple1)] @1: The lion is rough.[(((triple1) -> rule4))]