Anne is furry. Anne is red. Charlie is kind. If Charlie is furry and Charlie is kind then Charlie is red. Red things are kind. If Anne is kind and Anne is green then Anne is red. All white things are smart. If something is white then it is smart. All green, furry things are red.
Anne is not red.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Charlie is kind.[(triple3)] @1: Anne is kind.[(((triple2) -> rule2))]