Anne is blue. Bob is not cold. Bob is smart. Charlie is cold. Charlie is quiet. Charlie is not young. Harry is green. All cold, green things are not white. If something is green then it is cold. Quiet, blue things are not young. All green, quiet things are young. If something is green then it is quiet. If Harry is quiet and Harry is not smart then Harry is cold. If Harry is quiet and Harry is cold then Harry is green. If Bob is not smart then Bob is quiet.
Harry is not young.
@0: Anne is blue.[(triple1)] Bob is not cold.[(triple2)] Bob is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is not young.[(triple6)] Charlie is quiet.[(triple5)] Harry is green.[(triple7)] @1: Harry is cold.[(((triple7) -> rule2))] Harry is quiet.[(((triple7) -> rule5))] @2: Harry is not white.[(((((triple7) -> rule2) triple7) -> rule1))] Harry is young.[(((triple7 ((triple7) -> rule5)) -> rule4))]