Bob is furry. Dave is white. Fiona is furry. Harry is blue. If Bob is round and Bob is green then Bob is cold. White things are cold. All round, furry things are blue. All round, furry things are cold. If Harry is nice and Harry is white then Harry is furry. If Bob is white then Bob is round. If Dave is blue then Dave is cold. All green things are furry.
Dave is round.
@0: Bob is furry.[(triple1)] Dave is white.[(triple2)] Fiona is furry.[(triple3)] Harry is blue.[(triple4)] @1: Dave is cold.[(((triple2) -> rule2))]