Charlie is smart. Dave is not smart. Erin is smart. If something is cold and quiet then it is furry. Quiet things are furry. If something is round then it is furry. All furry, smart things are rough. If something is smart and not round then it is rough. If something is smart and not round then it is not blue. If something is blue and not round then it is quiet. If Dave is not quiet then Dave is rough.
Charlie is round.
@0: Charlie is smart.[(triple1)] Dave is not smart.[(triple2)] Erin is smart.[(triple3)]