Anne is big. Anne is cold. Anne is not nice. Anne is not quiet. Anne is round. Anne is smart. Anne is young. If something is nice then it is not round. Smart, nice things are not round. If something is cold and young then it is smart.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2 triple7) -> rule3))] Anne is young.[(triple7)]