Anne is white. Bob is kind. Harry is white. If someone is kind then they are not blue. All young people are quiet. White people are kind. If someone is kind and round then they are not white. If someone is kind and not quiet then they are rough. If Harry is not blue then Harry is not rough.
Anne is not white.
@0: Anne is white.[(triple1)] Bob is kind.[(triple2)] Harry is white.[(triple3)] @1: Anne is kind.[(((triple1) -> rule3))] Bob is not blue.[(((triple2) -> rule1))] Harry is kind.[(((triple3) -> rule3))] @2: Anne is not blue.[(((((triple1) -> rule3)) -> rule1))] Harry is not blue.[(((((triple3) -> rule3)) -> rule1))] @3: Harry is not rough.[(((((((triple3) -> rule3)) -> rule1)) -> rule6))]