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.
Gary is not round.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2)] Gary is round.[(triple3)] Harry is round.[(triple4)] @1: Dave is young.[(((triple2) -> rule3))]