Anne is green. Charlie is nice. Dave is young. Erin is smart. Red, furry people are green. All red, smart people are furry. Smart people are nice. Green, young people are smart. All furry, nice people are green. All red people are blue.
Erin is green.
@0: Anne is green.[(triple1)] Charlie is nice.[(triple2)] Dave is young.[(triple3)] Erin is smart.[(triple4)] @1: Erin is nice.[(((triple4) -> rule3))]