Charlie is not big. Harry is red. Cold things are furry. All cold, red things are furry. If something is cold and furry then it is red. If Charlie is blue and Charlie is not red then Charlie is big. If Harry is big and Harry is not furry then Harry is round. All furry, round things are big. If something is red and not round then it is not quiet. All blue, cold things are quiet.
Harry is red.
@0: Charlie is not big.[(triple1)] Harry is red.[(triple2)]