Anne is not cold. Anne is green. Anne is quiet. Anne is smart. Anne is young. Charlie is green. Charlie is smart. Fiona is cold. Fiona is smart. Harry is blue. Harry is cold. Harry is green. Harry is not quiet. Harry is not smart. Harry is white. Harry is young. If Charlie is not green then Charlie is cold. If something is green and not quiet then it is cold. If Harry is quiet then Harry is green. If Fiona is quiet and Fiona is white then Fiona is smart. White, cold things are blue. All cold things are blue. If something is smart and not green then it is white. If Harry is not white then Harry is blue.
Anne is smart.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is smart.[(triple9)] Harry is blue.[(triple10 OR ((triple11) -> rule6) OR ((triple15 triple11) -> rule5) OR ((((triple12 triple13) -> rule2)) -> rule6) OR ((triple15 ((triple12 triple13) -> rule2)) -> rule5))] Harry is cold.[(triple11 OR ((triple12 triple13) -> rule2))] Harry is green.[(triple12)] Harry is not quiet.[(triple13)] Harry is not smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is blue.[(((triple8) -> rule6))]