Anne is cold. Dave is big. Erin is blue. Harry is not cold. If Dave is white then Dave is kind. If Erin is blue then Erin is not big. Round things are furry. If something is white and not furry then it is not cold. Cold, furry things are big. If something is big then it is kind.
Harry is kind.
@0: Anne is cold.[(triple1)] Dave is big.[(triple2)] Erin is blue.[(triple3)] Harry is not cold.[(triple4)] @1: Dave is kind.[(((triple2) -> rule6))] Erin is not big.[(((triple3) -> rule2))]