Charlie is not white. Harry is not big. If Charlie is big and Charlie is red then Charlie is quiet. All furry, red people are smart. If Harry is not red then Harry is not white. If someone is quiet then they are furry. All big people are not quiet. If Charlie is not furry then Charlie is smart. If someone is big and not quiet then they are nice. If someone is smart and not nice then they are not white.
Charlie is white.
@0: Charlie is not white.[(triple1)] Harry is not big.[(triple2)]