Dave is not blue. Dave is furry. Dave is green. Dave is nice. Dave is red. Fiona is blue. Fiona is not furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Quiet things are blue. If something is nice and not blue then it is green.
Dave is not smart.
@0: Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple4 triple1) -> rule2))] Dave is nice.[(triple4)] Dave is not blue.[(triple1)] Dave is red.[(triple5)] Fiona is blue.[(triple6 OR ((triple10) -> rule1))] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)]