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