Anne is blue. Anne is not cold. Anne is not red. Anne is round. Anne is smart. Anne is white. Anne is young. Cold, red things are blue. Red things are blue. If something is blue and not white then it is cold. If Anne is round and Anne is not blue then Anne is not young. All smart, white things are young. If something is cold and round then it is not young. If something is blue and not cold then it is round. If something is smart and not red then it is round.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not red.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple2) -> rule7) OR ((triple5 triple3) -> rule8))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple5 triple6) -> rule5))]