Anne is furry. Anne is nice. Anne is round. Bob is green. Bob is round. Bob is white. Bob is young. Charlie is green. Charlie is round. Dave is furry. All green, round people are furry. Quiet, furry people are nice.
Dave is not furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is green.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is green.[(triple8)] Charlie is round.[(triple9)] Dave is furry.[(triple10)] @1: Bob is furry.[(((triple4 triple5) -> rule1))] Charlie is furry.[(((triple8 triple9) -> rule1))]