Bob is nice. Dave is furry. Gary is round. Harry is round. If something is nice and not furry then it is quiet. All young, round things are quiet. If Dave is furry then Dave is young.
Harry is not quiet.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2)] Gary is round.[(triple3)] Harry is round.[(triple4)] @1: Dave is young.[(((triple2) -> rule3))]