Anne is red. Bob is furry. Dave is furry. Erin is green. If Anne is quiet then Anne is big. Quiet, red people are young. If Erin is green and Erin is quiet then Erin is young. All quiet, furry people are green. If someone is rough and red then they are furry. If Dave is green and Dave is rough then Dave is red.
Dave is not furry.
@0: Anne is red.[(triple1)] Bob is furry.[(triple2)] Dave is furry.[(triple3)] Erin is green.[(triple4)]