The mouse is red. If something is round and not red then it is not kind. All kind things are blue. All rough things are blue. If the mouse is red and the mouse is kind then the mouse is blue. If something is kind and not round then it is rough. If the mouse is round and the mouse is blue then the mouse is kind.
The mouse is round.
@0: The mouse is red.[(triple1)]