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