Dave is blue. Dave is not nice. Dave is quiet. Dave is not red. Dave is not rough. Dave is white. Dave is young. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is not rough. Fiona is white. Fiona is young. If Dave is quiet and Dave is not rough then Dave is young.
Fiona is white.
@0: Dave is blue.[(triple1)] Dave is not nice.[(triple2)] Dave is not red.[(triple4)] Dave is not rough.[(triple5)] Dave is quiet.[(triple3)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple3 triple5) -> rule1))] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is not rough.[(triple12)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]