Anne is rough. Anne is smart. Anne is young. If something is young then it is white. Round, blue things are furry. Round things are smart. Rough, blue things are white. All blue things are white. White things are rough.
Anne is not rough.
@0: Anne is rough.[(triple1 OR ((((triple3) -> rule1)) -> rule6))] Anne is smart.[(triple2)] Anne is young.[(triple3)] @1: Anne is white.[(((triple3) -> rule1))]