Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. All young people are rough. All green people are nice.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple7) -> rule1))] Anne is round.[(triple6)] Anne is young.[(triple7)]