Anne is not nice. Dave is smart. Gary is young. Smart, green things are furry. All smart things are quiet. If Dave is furry and Dave is not young then Dave is round. If something is quiet then it is green. All quiet, young things are green. If Gary is green and Gary is nice then Gary is not furry.
Dave is not quiet.
@0: Anne is not nice.[(triple1)] Dave is smart.[(triple2)] Gary is young.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule2))] @2: Dave is green.[(((((triple2) -> rule2)) -> rule4))] @3: Dave is furry.[(((triple2 ((((triple2) -> rule2)) -> rule4)) -> rule1))]