Bob is white. Charlie is white. Fiona is not blue. Gary is white. If Bob is young and Bob is blue then Bob is not smart. All blue things are young. All furry things are blue. If something is white and smart then it is blue. If something is blue and furry then it is not quiet. If Fiona is smart then Fiona is not blue. If something is smart and not blue then it is not green. Smart, furry things are green.
Charlie is white.
@0: Bob is white.[(triple1)] Charlie is white.[(triple2)] Fiona is not blue.[(triple3)] Gary is white.[(triple4)]