Charlie is blue. Charlie is not cold. Charlie is green. Charlie is quiet. Charlie is round. Charlie is not white. Charlie is young. Dave is not blue. Dave is not cold. Dave is green. Dave is not quiet. Dave is not white. Dave is not young. Gary is not blue. Gary is green. Gary is not white. If Dave is quiet then Dave is white. Cold, round things are young. Round things are young. If Dave is not quiet then Dave is not cold. All green, quiet things are blue. If something is white and not green then it is round.
Charlie is white.
@0: Charlie is blue.[(triple1 OR ((triple3 triple4) -> rule5))] Charlie is green.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple7 OR ((triple5) -> rule3))] Dave is green.[(triple10)] Dave is not blue.[(triple8)] Dave is not cold.[(triple9 OR ((triple11) -> rule4))] Dave is not quiet.[(triple11)] Dave is not white.[(triple12)] Dave is not young.[(triple13)] Gary is green.[(triple15)] Gary is not blue.[(triple14)] Gary is not white.[(triple16)]