Bob is not furry. Bob is green. Bob is quiet. Bob is rough. Bob is smart. Charlie is green. Dave is furry. Dave is not green. Dave is not quiet. Dave is round. Dave is not smart. Dave is white. Fiona is not green. Fiona is quiet. Fiona is not round. Fiona is not white. If someone is white and not rough then they are smart. If Charlie is not quiet then Charlie is green.
Fiona is not smart.
@0: Bob is green.[(triple2)] Bob is not furry.[(triple1)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Dave is furry.[(triple7)] Dave is not green.[(triple8)] Dave is not quiet.[(triple9)] Dave is not smart.[(triple11)] Dave is round.[(triple10)] Dave is white.[(triple12)] Fiona is not green.[(triple13)] Fiona is not round.[(triple15)] Fiona is not white.[(triple16)] Fiona is quiet.[(triple14)]