Charlie is red. If something is blue and red then it is furry. If Charlie is furry and Charlie is round then Charlie is big. All furry things are blue. Green, blue things are quiet. If something is furry and green then it is big. Big things are quiet.
Charlie is red.
@0: Charlie is red.[(triple1)]