Anne is furry. Dave is young. Gary is not rough. Harry is round. Rough people are round. If someone is furry then they are not round. Furry people are young. If someone is furry and not cold then they are white. If Dave is furry and Dave is cold then Dave is green. White, furry people are not green.
Anne is not furry.
@0: Anne is furry.[(triple1)] Dave is young.[(triple2)] Gary is not rough.[(triple3)] Harry is round.[(triple4)] @1: Anne is not round.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule3))]