Anne is young. Dave is white. Fiona is blue. Fiona is young. Harry is blue. Harry is furry. Harry is nice. All white, furry people are blue. Young, blue people are rough.
Harry is not furry.
@0: Anne is young.[(triple1)] Dave is white.[(triple2)] Fiona is blue.[(triple3)] Fiona is young.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Fiona is rough.[(((triple4 triple3) -> rule2))]