Dave is round. Fiona is rough. Harry is white. Furry people are rough. If someone is rough and not furry then they are blue. White people are blue. All white, nice people are cold. Round, furry people are nice. If Fiona is not nice then Fiona is blue.
Harry is white.
@0: Dave is round.[(triple1)] Fiona is rough.[(triple2)] Harry is white.[(triple3)] @1: Harry is blue.[(((triple3) -> rule3))]