Anne is furry. Anne is red. Charlie is not furry. Charlie is green. Charlie is young. Fiona is quiet. Gary is green. If something is furry and blue then it is not kind. If something is furry then it is kind. All furry things are kind. All kind things are quiet. Furry, kind things are young. If something is furry and not young then it is green. If something is blue and young then it is green. Quiet, red things are green.
Anne is quiet.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Charlie is green.[(triple4)] Charlie is not furry.[(triple3)] Charlie is young.[(triple5)] Fiona is quiet.[(triple6)] Gary is green.[(triple7)] @1: Anne is kind.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Anne is young.[(((triple1 ((triple1) -> rule2)) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule5))] @3: Anne is green.[(((((((triple1) -> rule2)) -> rule4) triple2) -> rule8) OR ((((((triple1) -> rule3)) -> rule4) triple2) -> rule8))]