Anne is blue. Anne is cold. Anne is not furry. Anne is round. Anne is smart. Anne is white. Anne is young. If something is furry and white then it is round. If something is furry and not round then it is not blue. If something is young and not blue then it is smart. If something is cold and not round then it is smart. If something is white and not blue then it is cold. All blue things are cold.
Anne is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule6))] Anne is not furry.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]