The mouse is nice. If someone is round then they are nice. Round people are nice. If someone is nice and not red then they are young. All round people are big. If someone is round then they are not big. All big people are round.
The mouse is not big.
@0: The mouse is nice.[(triple1)]