Charlie is furry. Erin is quiet. Gary is blue. White, big things are not blue. Smart things are not white. All white, furry things are smart. All red things are smart. All quiet, furry things are smart. Blue, big things are not furry. If Charlie is furry and Charlie is big then Charlie is smart. Smart things are quiet.
Gary is blue.
@0: Charlie is furry.[(triple1)] Erin is quiet.[(triple2)] Gary is blue.[(triple3)]