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