Bob is not blue. Bob is furry. Bob is nice. Bob is quiet. Bob is young. Dave is furry. Dave is green. Dave is nice. Dave is young. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is not white. Fiona is not young. If Fiona is not blue then Fiona is quiet. Blue people are white. If Fiona is nice and Fiona is not quiet then Fiona is not green.
Dave is not green.
@0: Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is young.[(triple9)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13)] Fiona is not blue.[(triple10)] Fiona is not white.[(triple15)] Fiona is not young.[(triple16)] Fiona is quiet.[(triple14 OR ((triple10) -> rule1))]