Dave is green. Dave is kind. Dave is quiet. Dave is not red. Dave is rough. Dave is not white. Dave is not young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. All red, quiet things are white. All young things are rough.
Fiona is red.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is not red.[(triple4)] Dave is not white.[(triple6)] Dave is not young.[(triple7)] Dave is quiet.[(triple3)] Dave is rough.[(triple5)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple14) -> rule2))] Fiona is white.[(triple13 OR ((triple11 triple10) -> rule1))] Fiona is young.[(triple14)]