Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Anne is young. If Anne is blue then Anne is rough. All quiet, furry people are kind. If someone is rough then they are furry.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Anne is kind.[(triple3 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple5) -> rule3)) -> rule2) OR ((triple4 ((((triple1) -> rule1)) -> rule3)) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule1))] Anne is white.[(triple6)] Anne is young.[(triple7)]