Anne is blue. Anne is kind. Erin is white. If someone is kind then they are blue. All furry people are red. If someone is green then they are kind. All green people are red. All white, furry people are green. Furry people are white.
Anne is not green.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is kind.[(triple2)] Erin is white.[(triple3)]