Charlie is nice. If Charlie is round then Charlie is white. If Charlie is quiet then Charlie is not smart. If something is round then it is smart. All round things are not kind. If Charlie is white then Charlie is furry. If Charlie is not smart and Charlie is not quiet then Charlie is furry.
Charlie is kind.
@0: Charlie is nice.[(triple1)]