Anne is white. Bob is red. Harry is furry. White things are rough. All smart, quiet things are rough. If something is white then it is rough. All furry things are not blue. Blue, furry things are not white. If something is furry then it is smart. Smart, red things are quiet. If something is blue then it is not quiet.
Anne is furry.
@0: Anne is white.[(triple1)] Bob is red.[(triple2)] Harry is furry.[(triple3)] @1: Anne is rough.[(((triple1) -> rule1) OR ((triple1) -> rule3))] Harry is not blue.[(((triple3) -> rule4))] Harry is smart.[(((triple3) -> rule6))]