Bob is round. Dave is quiet. Gary is round. Harry is furry. If something is young and furry then it is green. If Dave is young then Dave is blue. All green things are kind. All young things are round. If something is quiet and blue then it is young. Furry things are young. Kind, young things are blue. If Harry is blue and Harry is young then Harry is green.
Harry is not young.
@0: Bob is round.[(triple1)] Dave is quiet.[(triple2)] Gary is round.[(triple3)] Harry is furry.[(triple4)] @1: Harry is young.[(((triple4) -> rule6))] @2: Harry is green.[(((((triple4) -> rule6) triple4) -> rule1))] Harry is round.[(((((triple4) -> rule6)) -> rule4))] @3: Harry is kind.[(((((((triple4) -> rule6) triple4) -> rule1)) -> rule3))] @4: Harry is blue.[(((((((((triple4) -> rule6) triple4) -> rule1)) -> rule3) ((triple4) -> rule6)) -> rule7))]