Dave is not nice. Dave is quiet. Harry is furry. If Harry is round and Harry is red then Harry is not young. If something is round then it is quiet. If Dave is nice and Dave is furry then Dave is rough. If something is round then it is not young. If something is quiet and not nice then it is red. If Dave is furry and Dave is quiet then Dave is not red. Red, quiet things are round. If Harry is young and Harry is not furry then Harry is round.
Dave is young.
@0: Dave is not nice.[(triple1)] Dave is quiet.[(triple2)] Harry is furry.[(triple3)] @1: Dave is red.[(((triple2 triple1) -> rule5))] @2: Dave is round.[(((((triple2 triple1) -> rule5) triple2) -> rule7))] @3: Dave is not young.[(((((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule4))]