Anne is not furry. Gary is furry. Harry is nice. All nice, green things are quiet. Young things are not white. All quiet things are not white. If something is young then it is nice. Nice things are green. If Anne is green and Anne is not young then Anne is not furry. If something is quiet and not green then it is not furry. If something is cold and young then it is furry.
Harry is not quiet.
@0: Anne is not furry.[(triple1)] Gary is furry.[(triple2)] Harry is nice.[(triple3)] @1: Harry is green.[(((triple3) -> rule5))] @2: Harry is quiet.[(((triple3 ((triple3) -> rule5)) -> rule1))] @3: Harry is not white.[(((((triple3 ((triple3) -> rule5)) -> rule1)) -> rule3))]