Anne is smart. Charlie is not cold. Dave is green. If Anne is smart and Anne is not green then Anne is round. All smart things are nice. All smart, nice things are furry. All nice, cold things are round. If Dave is not furry then Dave is cold. All smart, blue things are not cold. Smart, furry things are blue. If something is round then it is not blue.
Charlie is nice.
@0: Anne is smart.[(triple1)] Charlie is not cold.[(triple2)] Dave is green.[(triple3)] @1: Anne is nice.[(((triple1) -> rule2))] @2: Anne is furry.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Anne is blue.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule7))] @4: Anne is not cold.[(((triple1 ((triple1 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule7)) -> rule6))]