Anne is green. Anne is kind. Anne is nice. Bob is nice. Charlie is furry. Charlie is red. Erin is blue. Furry, red people are green. All blue, kind people are red. Blue, furry people are quiet. All kind, quiet people are blue. Furry people are nice. Furry, quiet people are blue. If someone is quiet then they are nice. Quiet people are green.
Bob is not green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is nice.[(triple4)] Charlie is furry.[(triple5)] Charlie is red.[(triple6)] Erin is blue.[(triple7)] @1: Charlie is green.[(((triple5 triple6) -> rule1))] Charlie is nice.[(((triple5) -> rule5))]