Dave is cold. Erin is quiet. Harry is quiet. Kind, furry things are cold. If Harry is big and Harry is quiet then Harry is cold. All cold things are green. All quiet, big things are red. If Dave is furry and Dave is kind then Dave is green. All furry, quiet things are green. All furry things are big. Kind, cold things are big.
Dave is cold.
@0: Dave is cold.[(triple1)] Erin is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Dave is green.[(((triple1) -> rule3))]