Anne is quiet. Anne is round. Anne is white. Dave is big. Dave is blue. Dave is quiet. Dave is not round. Dave is white. Fiona is blue. Fiona is round. If something is blue and not green then it is round. If Dave is white and Dave is not green then Dave is round. If Dave is quiet then Dave is big.
Fiona is round.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4 OR ((triple6) -> rule3))] Dave is blue.[(triple5)] Dave is not round.[(triple7)] Dave is quiet.[(triple6)] Dave is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is round.[(triple10)]