The mouse is kind. All green, red things are young. If something is kind and blue then it is green. All red things are kind. All red things are young. All red things are blue. Blue things are young.
The mouse likes the mouse.
@0: The mouse is kind.[(triple1)]