Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is white. Harry is kind. Harry is nice. Harry is not quiet. Harry is round. If Harry is kind then Harry is blue. If Anne is red then Anne is blue. All red, nice things are white. If Harry is white and Harry is kind then Harry is nice. If Harry is red and Harry is not blue then Harry is nice. If something is quiet and not white then it is round. White things are round. If something is red and not white then it is quiet.
Harry is kind.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule2))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule7))] Anne is white.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is not quiet.[(triple9)] Harry is round.[(triple10)] @1: Harry is blue.[(((triple7) -> rule1))]