Bob is nice. Bob is round. Bob is white. Charlie is nice. Fiona is white. Harry is furry. Harry is kind. All quiet, kind things are furry. If something is furry then it is kind. Kind, white things are nice.
Bob is not kind.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Charlie is nice.[(triple4)] Fiona is white.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7 OR ((triple6) -> rule2))]