Anne is cold. Anne is quiet. Anne is smart. Anne is white. Dave is cold. Dave is quiet. Dave is smart. Dave is young. Fiona is blue. Fiona is smart. Fiona is white. Harry is blue. Harry is quiet. Harry is smart. Harry is white. Harry is young. If something is white and cold then it is smart. If something is quiet then it is blue. If Harry is cold and Harry is smart then Harry is white.
Dave is white.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple4 triple1) -> rule1))] Anne is white.[(triple4)] Dave is cold.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Harry is blue.[(triple12 OR ((triple13) -> rule2))] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Anne is blue.[(((triple2) -> rule2))] Dave is blue.[(((triple6) -> rule2))]