The lion is young. All red people are young. All kind, red people are blue. All blue, red people are big. If someone is young then they are blue. Big people are red. Blue, red people are young. If the lion is red then the lion is blue. If the lion is young and the lion is big then the lion is red.
The lion is not red.
@0: The lion is young.[(triple1)] @1: The lion is blue.[(((triple1) -> rule4))]