Anne is quiet. Anne is round. Bob is cold. Bob is quiet. Bob is round. Dave is blue. Dave is cold. Dave is white. Dave is young. Harry is green. All young, cold people are white. If someone is quiet then they are young. Round people are quiet. Round people are blue. If someone is quiet then they are white. If Anne is cold then Anne is quiet.
Harry is quiet.
@0: Anne is quiet.[(triple1 OR ((triple2) -> rule3))] Anne is round.[(triple2)] Bob is cold.[(triple3)] Bob is quiet.[(triple4 OR ((triple5) -> rule3))] Bob is round.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is white.[(triple8 OR ((triple9 triple7) -> rule1))] Dave is young.[(triple9)] Harry is green.[(triple10)] @1: Anne is blue.[(((triple2) -> rule4))] Anne is white.[(((triple1) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Anne is young.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Bob is blue.[(((triple5) -> rule4))] Bob is white.[(((triple4) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple4) -> rule2) triple3) -> rule1) OR ((((((triple5) -> rule3)) -> rule2) triple3) -> rule1))] Bob is young.[(((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2))]