Charlie is red. If someone is round and quiet then they are red. If Charlie is big and Charlie is blue then Charlie is quiet. All quiet, cold people are red. Blue people are kind. Round, kind people are cold. If someone is big then they are red.
Charlie is red.
@0: Charlie is red.[(triple1)]