Bob is not nice. Dave is nice. If Dave is furry then Dave is blue. If something is cold and not young then it is blue. If something is nice then it is furry.
Dave is not young.
@0: Bob is not nice.[(triple1)] Dave is nice.[(triple2)] @1: Dave is furry.[(((triple2) -> rule3))] @2: Dave is blue.[(((((triple2) -> rule3)) -> rule1))]