Anne is big. Anne is nice. Anne is rough. Anne is smart. Anne is white. Anne is young. Dave is smart. All big things are rough. If something is white then it is smart.
Dave is not rough.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule1))] Anne is smart.[(triple4 OR ((triple5) -> rule2))] Anne is white.[(triple5)] Anne is young.[(triple6)] Dave is smart.[(triple7)]