Bob is white. Bob is young. Dave is rough. Erin is not kind. Erin is white. Harry is quiet. Harry is young. Young, quiet people are kind. All white, quiet people are kind. If Harry is not young then Harry is white. If Dave is green then Dave is smart. If someone is quiet and not white then they are smart. If someone is white then they are smart.
Dave is quiet.
@0: Bob is white.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Erin is not kind.[(triple4)] Erin is white.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Bob is smart.[(((triple1) -> rule6))] Erin is smart.[(((triple5) -> rule6))] Harry is kind.[(((triple7 triple6) -> rule1))]