Bob is quiet. Charlie is cold. Dave is furry. Harry is nice. If something is young then it is cold. Cold things are not quiet. Blue things are quiet. If something is quiet then it is nice. If something is quiet and not young then it is nice. If something is smart and young then it is blue. All furry things are blue. If Dave is young and Dave is nice then Dave is not quiet.
Dave is quiet.
@0: Bob is quiet.[(triple1)] Charlie is cold.[(triple2)] Dave is furry.[(triple3)] Harry is nice.[(triple4)] @1: Bob is nice.[(((triple1) -> rule4))] Charlie is not quiet.[(((triple2) -> rule2))] Dave is blue.[(((triple3) -> rule7))] @2: Dave is quiet.[(((((triple3) -> rule7)) -> rule3))] @3: Dave is nice.[(((((((triple3) -> rule7)) -> rule3)) -> rule4))]