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