Bob is not nice. Bob is not white. Harry is young. White things are furry. Nice things are furry. If something is white then it is not blue. All young things are white. If something is blue and quiet then it is smart. All furry things are not smart. Furry, blue things are not quiet. If Harry is not furry and Harry is not young then Harry is blue.
Harry is nice.
@0: Bob is not nice.[(triple1)] Bob is not white.[(triple2)] Harry is young.[(triple3)] @1: Harry is white.[(((triple3) -> rule4))] @2: Harry is furry.[(((((triple3) -> rule4)) -> rule1))] Harry is not blue.[(((((triple3) -> rule4)) -> rule3))] @3: Harry is not smart.[(((((((triple3) -> rule4)) -> rule1)) -> rule6))]