The lion is big. If something is nice then it is big. Big, green things are not young. All nice, green things are not round. If something is young and not big then it is not round. If something is round and not nice then it is not green. If the lion is big and the lion is young then the lion is not green.
The lion is young.
@0: The lion is big.[(triple1)]