Anne is blue. Anne is rough. Anne is young. All young people are cold. If someone is rough and nice then they are green. Rough people are young. If Anne is green then Anne is blue. If someone is rough and furry then they are blue. Cold people are rough.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2 OR ((((triple3) -> rule1)) -> rule6))] Anne is young.[(triple3 OR ((triple2) -> rule3))] @1: Anne is cold.[(((triple3) -> rule1) OR ((((triple2) -> rule3)) -> rule1))]