Anne is big. Anne is not quiet. Anne is not smart. If Anne is rough then Anne is blue. If Anne is not smart then Anne is big.
Anne is smart.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2))] Anne is not quiet.[(triple2)] Anne is not smart.[(triple3)]