Bob is rough. Dave is kind. Harry is blue. All white things are rough. Furry, nice things are not blue. Blue things are white. All furry things are not green. If something is rough then it is not nice. If Harry is white then Harry is furry.
Harry is not blue.
@0: Bob is rough.[(triple1)] Dave is kind.[(triple2)] Harry is blue.[(triple3)] @1: Bob is not nice.[(((triple1) -> rule5))] Harry is white.[(((triple3) -> rule3))] @2: Harry is furry.[(((((triple3) -> rule3)) -> rule6))] Harry is rough.[(((((triple3) -> rule3)) -> rule1))] @3: Harry is not green.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))] Harry is not nice.[(((((((triple3) -> rule3)) -> rule1)) -> rule5))]