Bob is furry. Dave is not blue. Harry is kind. If something is rough then it is kind. If Bob is furry then Bob is not blue. If something is furry and kind then it is round. If something is rough then it is round. If something is cold then it is not blue. If something is cold and not rough then it is blue. If something is kind and round then it is furry. All round things are not furry.
Dave is not furry.
@0: Bob is furry.[(triple1)] Dave is not blue.[(triple2)] Harry is kind.[(triple3)] @1: Bob is not blue.[(((triple1) -> rule2))]