Anne is nice. Erin is kind. All nice things are red. All green, furry things are nice. Blue things are nice. If something is furry then it is round. Blue, red things are round. If something is furry then it is kind.
Anne is not nice.
@0: Anne is nice.[(triple1)] Erin is kind.[(triple2)] @1: Anne is red.[(((triple1) -> rule1))]