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