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