Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is young. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is not young. If someone is quiet and not red then they are not young. If someone is red and not kind then they are blue. If someone is furry and not young then they are blue.
Fiona is not young.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple10 triple14) -> rule3))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is not cold.[(triple9)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)]