The lion is young. If something is nice then it is young. If something is young and round then it is big. If something is blue then it is not big. If something is nice then it is not big. If something is young then it is not blue. If something is round and not young then it is not blue. All young, nice things are round. If something is blue and big then it is round.
The lion is not big.
@0: The lion is young.[(triple1)] @1: The lion is not blue.[(((triple1) -> rule5))]