Anne is big. Anne is blue. Anne is green. Anne is red. Anne is rough. Anne is not smart. Anne is young. If something is red and not young then it is not rough. If something is rough then it is blue.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule2))] Anne is green.[(triple3)] Anne is not smart.[(triple6)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple7)]