Anne is not green. Bob is big. Bob is furry. Bob is kind. Harry is cold. Harry is furry. Harry is kind. All quiet, kind things are not nice. All quiet, kind things are nice. If Bob is green and Bob is not kind then Bob is quiet. If Harry is kind then Harry is nice. If Harry is cold and Harry is big then Harry is quiet. If Harry is furry and Harry is quiet then Harry is kind.
Bob is not quiet.
@0: Anne is not green.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] @1: Harry is nice.[(((triple7) -> rule4))]