Bob is furry. Dave is white. Gary is blue. Big things are not white. Kind things are smart. All furry things are kind. Furry, kind things are rough. If something is white and not kind then it is not rough. If something is rough and smart then it is not blue.
Bob is blue.
@0: Bob is furry.[(triple1)] Dave is white.[(triple2)] Gary is blue.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3))] @2: Bob is rough.[(((triple1 ((triple1) -> rule3)) -> rule4))] Bob is smart.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is not blue.[(((((triple1 ((triple1) -> rule3)) -> rule4) ((((triple1) -> rule3)) -> rule2)) -> rule6))]