Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Dave is nice. Dave is quiet. Dave is round. Dave is young. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is round. All young things are smart.
Fiona is not round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple7) -> rule1))] Anne is young.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is green.[(triple13)] Fiona is quiet.[(triple14)] Fiona is round.[(triple15)] @1: Dave is smart.[(((triple11) -> rule1))]