The dog is cold. All young things are cold. All big things are nice. All green, young things are big. Big, cold things are young. Green things are young. Nice, big things are cold. Big, cold things are nice. If the dog is young then the dog is green.
The dog chases the dog.
@0: The dog is cold.[(triple1)]