Anne is nice. Charlie is not blue. Dave is big. Harry is kind. All blue people are young. If someone is green and big then they are young. Green, furry people are young. Young, blue people are not big. All furry, young people are not green. If someone is big then they are not furry. If someone is big and not young then they are not nice. If someone is young and not nice then they are kind.
Anne is nice.
@0: Anne is nice.[(triple1)] Charlie is not blue.[(triple2)] Dave is big.[(triple3)] Harry is kind.[(triple4)] @1: Dave is not furry.[(((triple3) -> rule6))]