Anne is quiet. Anne is rough. Charlie is big. Charlie is red. Charlie is round. Dave is big. Dave is rough. Dave is round. Dave is young. Fiona is blue. Fiona is rough. Fiona is round. All blue, round things are big. All round, red things are quiet.
Fiona is red.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Dave is big.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Charlie is quiet.[(((triple5 triple4) -> rule2))] Fiona is big.[(((triple10 triple12) -> rule1))]