Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is young. If something is young and red then it is kind. If something is kind then it is red.
Anne is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple7 triple5) -> rule1))] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule2))] Anne is round.[(triple6)] Anne is young.[(triple7)]