Anne is cold. Anne is furry. Anne is smart. Anne is white. Bob is not furry. Bob is not kind. Bob is white. Harry is blue. Harry is cold. Harry is furry. All quiet, white things are not furry. Kind things are furry. Cold things are not quiet. If Bob is blue then Bob is quiet. Blue, smart things are kind. If something is white and not blue then it is smart.
Bob is blue.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is not furry.[(triple5)] Bob is not kind.[(triple6)] Bob is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] @1: Anne is not quiet.[(((triple1) -> rule3))] Harry is not quiet.[(((triple9) -> rule3))]