Dave is blue. Dave is green. Dave is quiet. Dave is not red. Dave is round. Dave is smart. Dave is young. Fiona is not blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If something is quiet and not round then it is green. If something is young and not round then it is quiet. If something is red and not young then it is smart.
Fiona is blue.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is not red.[(triple4)] Dave is quiet.[(triple3)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13 OR ((triple11 triple14) -> rule3))]