Anne is young. Dave is not quiet. Harry is young. All big things are quiet. Cold things are quiet. Young things are quiet. If something is cold and not young then it is round. If something is quiet and not rough then it is round. If something is young and not big then it is not round. If something is big and round then it is blue. If something is round and not big then it is blue.
Harry is round.
@0: Anne is young.[(triple1)] Dave is not quiet.[(triple2)] Harry is young.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule3))] Harry is quiet.[(((triple3) -> rule3))]