Charlie is quiet. Charlie is not rough. Charlie is white. Charlie is young. Dave is blue. Dave is kind. Dave is quiet. Dave is rough. Dave is white. Erin is not blue. Erin is rough. Fiona is not rough. If something is blue and not rough then it is white. All kind things are blue.
Erin is young.
@0: Charlie is not rough.[(triple2)] Charlie is quiet.[(triple1)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule2))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Erin is not blue.[(triple10)] Erin is rough.[(triple11)] Fiona is not rough.[(triple12)]