Anne is furry. Anne is smart. Bob is blue. Bob is furry. Charlie is cold. Charlie is round. Erin is blue. All nice, furry people are smart. Round people are white.
Anne is blue.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Charlie is cold.[(triple5)] Charlie is round.[(triple6)] Erin is blue.[(triple7)] @1: Charlie is white.[(((triple6) -> rule2))]