Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is white. Anne is young. If Anne is cold and Anne is blue then Anne is white. If Anne is young and Anne is kind then Anne is blue. If someone is rough and cold then they are furry.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple7 triple4) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5 triple2) -> rule3))] Anne is kind.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple7 triple4) -> rule2)) -> rule1))] Anne is young.[(triple7)]