Anne is cold. Anne is rough. Anne is white. All white, cold people are rough. White, furry people are quiet.
Anne is nice.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is white.[(triple3)]