The mouse is nice. Blue people are not round. All nice, blue people are young. All round, blue people are not young. If the mouse is young then the mouse is round. If someone is round and nice then they are kind. If the mouse is round then the mouse is not young.
The mouse is not nice.
@0: The mouse is nice.[(triple1)]