Anne is blue. Anne is furry. Bob is blue. Bob is kind. Bob is round. Bob is white. Dave is blue. Dave is kind. Harry is cold. Harry is white. Kind things are round. Cold things are kind. All round things are quiet.
Harry is not cold.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Bob is blue.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule1))] Bob is white.[(triple6)] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Bob is quiet.[(((triple5) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Dave is round.[(((triple8) -> rule1))] Harry is kind.[(((triple9) -> rule2))] @2: Dave is quiet.[(((((triple8) -> rule1)) -> rule3))] Harry is round.[(((((triple9) -> rule2)) -> rule1))] @3: Harry is quiet.[(((((((triple9) -> rule2)) -> rule1)) -> rule3))]