Charlie is furry. Dave is cold. Harry is green. All nice things are big. All green things are white. All red things are white. Nice, furry things are green. All cold, green things are furry. If something is white and cold then it is nice.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Dave is cold.[(triple2)] Harry is green.[(triple3)] @1: Harry is white.[(((triple3) -> rule2))]