Anne is big. Anne is quiet. Dave is big. Dave is nice. Dave is quiet. Dave is round. Dave is white. Fiona is blue. Fiona is smart. Harry is round. Nice people are big. If someone is big and round then they are smart.
Harry is not smart.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Dave is big.[(triple3 OR ((triple4) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is smart.[(triple9)] Harry is round.[(triple10)] @1: Dave is smart.[(((triple3 triple6) -> rule2) OR ((((triple4) -> rule1) triple6) -> rule2))]