Dave is not furry. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Harry is green. Harry is smart. Harry is not young. If Harry is not round then Harry is green. If something is rough and furry then it is not red.
Fiona is smart.
@0: Dave is green.[(triple2)] Dave is not furry.[(triple1)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] Harry is green.[(triple13)] Harry is not young.[(triple15)] Harry is smart.[(triple14)]