Bob is blue. Bob is quiet. Bob is white. Bob is young. Harry is not blue. Harry is kind. Harry is white. If someone is blue and not green then they are young. Blue people are young. If Harry is blue then Harry is young. All young people are not kind. If Harry is not young then Harry is quiet. If someone is green and not kind then they are quiet. All white people are quiet. If someone is quiet and kind then they are white.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule7))] Bob is white.[(triple3)] Bob is young.[(triple4 OR ((triple1) -> rule2))] Harry is kind.[(triple6)] Harry is not blue.[(triple5)] Harry is white.[(triple7)] @1: Bob is not kind.[(((triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] Harry is quiet.[(((triple7) -> rule7))]