Bob is furry. Bob is kind. Gary is furry. Gary is nice. Harry is nice. Harry is white. Harry is young. All red, smart things are kind. If something is nice and young then it is furry.
Gary is not kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Harry is nice.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Harry is furry.[(((triple5 triple7) -> rule2))]