Anne is cold. Anne is green. Anne is quiet. Young people are big. If someone is furry then they are young. All blue people are big. If someone is green then they are cold. All cold people are green. All quiet, furry people are blue.
Anne is not young.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule4))] Anne is green.[(triple2 OR ((triple1) -> rule5))] Anne is quiet.[(triple3)]