Anne is big. Anne is cold. Anne is not green. Anne is rough. Anne is smart. Anne is white. Anne is young. If someone is young then they are rough. All cold people are white.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Anne is rough.[(triple4 OR ((triple7) -> rule1))] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule2))] Anne is young.[(triple7)]