Bob is not furry. Dave is not smart. Fiona is smart. If someone is blue then they are green. If Fiona is blue and Fiona is quiet then Fiona is round. All smart, blue people are furry. Round, furry people are white. Smart, blue people are white. If someone is green and not furry then they are round. All green people are round. If Dave is furry and Dave is not round then Dave is not quiet.
Dave is quiet.
@0: Bob is not furry.[(triple1)] Dave is not smart.[(triple2)] Fiona is smart.[(triple3)]