Bob is not young. Gary is not furry. Harry is furry. Green things are quiet. If something is furry then it is quiet. If something is young and not cold then it is quiet. If Bob is white and Bob is young then Bob is not quiet. If something is white and not cold then it is rough. If something is furry and not white then it is not rough. If something is rough then it is furry. All green, quiet things are young.
Bob is young.
@0: Bob is not young.[(triple1)] Gary is not furry.[(triple2)] Harry is furry.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule2))]