The lion is blue. If something is cold and blue then it is big. Blue things are big. If something is red and not cold then it is big. All round things are blue. If something is cold then it is red. Red things are round.
The lion is blue.
@0: The lion is blue.[(triple1)] @1: The lion is big.[(((triple1) -> rule2))]