Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is white. Anne is young. Green people are big. Young, rough people are big. If someone is cold and rough then they are big. All rough people are green. All rough, white people are green. All young, furry people are cold.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1) OR ((triple2 triple5) -> rule3) OR ((triple7 triple5) -> rule2) OR ((((triple5) -> rule4)) -> rule1) OR ((((triple5 triple6) -> rule5)) -> rule1) OR ((((triple7 triple3) -> rule6) triple5) -> rule3))] Anne is cold.[(triple2 OR ((triple7 triple3) -> rule6))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple5) -> rule4) OR ((triple5 triple6) -> rule5))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]