The lion is round. Rough, round things are green. All blue things are green. If something is round and blue then it is green. All blue, round things are not rough. If the lion is not cold then the lion is blue. Green, rough things are blue. If the lion is blue and the lion is not cold then the lion is not round. If the lion is blue and the lion is rough then the lion is round.
The lion is round.
@0: The lion is round.[(triple1)]