Anne is furry. Anne is green. Dave is furry. Dave is quiet. Dave is not rough. Dave is white. Fiona is green. Fiona is quiet. Fiona is not round. Fiona is white. If Anne is rough and Anne is not green then Anne is round.
Anne is rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Dave is furry.[(triple3)] Dave is not rough.[(triple5)] Dave is quiet.[(triple4)] Dave is white.[(triple6)] Fiona is green.[(triple7)] Fiona is not round.[(triple9)] Fiona is quiet.[(triple8)] Fiona is white.[(triple10)]